| 1. |
- Bagheri, Maryam, et al.
(författare)
-
Coordinated actor model of self-adaptive track-based traffic control systems
- 2018
-
Ingår i: Journal of Systems and Software. - : Elsevier. - 0164-1212 .- 1873-1228. ; 143, s. 116-139
-
Tidskriftsartikel (refereegranskat)abstract
- Self-adaptation is a well-known technique to handle growing complexities of software systems, where a system autonomously adapts itself in response to changes in a dynamic and unpredictable environment. With the increasing need for developing self-adaptive systems, providing a model and an implementation platform to facilitate integration of adaptation mechanisms into the systems and assuring their safety and quality is crucial. In this paper, we target Track-based Traffic Control Systems (TTCSs) in which the traffic flows through pre-specified sub-tracks and is coordinated by a traffic controller. We introduce a coordinated actor model to design self-adaptive TTCSs and provide a general mapping between various TTCSs and the coordinated actor model. The coordinated actor model is extended to build large-scale self-adaptive TTCSs in a decentralized setting. We also discuss the benefits of using Ptolemy II as a framework for model-based development of large-scale self-adaptive systems that supports designing multiple hierarchical MAPE-K feedback loops interacting with each other. We propose a template based on the coordinated actor model to design a self-adaptive TTCS in Ptolemy II that can be instantiated for various TTCSs. We enhance the proposed template with a predictive adaptation feature. We illustrate applicability of the coordinated actor model and consequently the proposed template by designing two real-life case studies in the domains of air traffic control systems and railway traffic control systems in Ptolemy II.
|
|
| 2. |
- Bagheri, Maryam, et al.
(författare)
-
Coordinated actors for reliable self-adaptive systems
- 2017
-
Ingår i: FACS 2016. - Cham : Springer. - 9783319576657 - 9783319576664 ; , s. 241-259
-
Konferensbidrag (refereegranskat)abstract
- Self-adaptive systems are systems that automatically adapt in response to environmental and internal changes, such as possible failures and variations in resource availability. Such systems are often realized by a MAPE-K feedback loop, where Monitor, Analyze, Plan and Execute components have access to a runtime model of the system and environment which is kept in the Knowledge component. In order to provide guarantees on the correctness of a self-adaptive system at runtime, the MAPE-K feedback loop needs to be extended with assurance techniques. To address this issue, we propose a coordinated actor-based approach to build a reusable and scalable model@runtime for self-adaptive systems in the domain of track-based traffic control systems. We demonstrate the approach by implementing an automated Air Traffic Control system (ATC) using Ptolemy tool.We compare different adaptation policies on the ATC model based on performance metrics and analyze combination of policies in different configurations of the model. We enriched our framework with runtime performance analysis such that for any unexpected change, subsequent behavior of the model is predicted and results are used for adaptation at the change-point. Moreover, the developed framework enables checking safety properties at runtime. © Springer International Publishing AG 2017.
|
|
| 3. |
- Bagheri, M., et al.
(författare)
-
Runtime compositional analysis of track-based traffic control systems
- 2017
-
Ingår i: ACM SIGBED Review. - : Association for Computing Machinery (ACM). - 1551-3688. ; 14:3, s. 38-39
-
Tidskriftsartikel (refereegranskat)abstract
- In this paper we address the development of dependable self-adaptive systems focusing on the specific domain of track-based traffic control systems where timing issues are critical.
|
|
| 4. |
- Castagnari, C., et al.
(författare)
-
Lightweight preprocessing for agent-based simulation of smart mobility initiatives
- 2018
-
Ingår i: Lect. Notes Comput. Sci.. - Cham : Springer Verlag. - 9783319747804 ; , s. 541-557
-
Konferensbidrag (refereegranskat)abstract
- Understanding the impacts of a mobility initiative prior to deployment is a complex task for both urban planners and transport companies. To support this task, Tangramob offers an agent-based simulation framework for assessing the evolution of urban traffic after the introduction of new mobility services. However, Tangramob simulations are computationally expensive due to their iterative nature. Thus, we simplified the Tangramob model into a Timed Rebeca (TRebeca) model and we designed a tool-chain that generates instances of this model starting from the same Tangramob’s inputs. Running TRebeca models allows users to get an idea of how mobility initiatives affect the system performance, in a short time, without resorting to the simulator. To validate this approach, we compared the output of both the simulator and the TRebeca model on a collection of mobility initiatives. Results show a correlation between them, thus demonstrating the usefulness of using TRebeca models for unconventional contexts of application.
|
|
| 5. |
|
|
| 6. |
- Cimatti, A., et al.
(författare)
-
Preface
- 2017
-
Ingår i: Lect. Notes Comput. Sci.. - : Springer Verlag. - 9783319661964 ; , s. V-VI
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
- Dastani, M., et al.
(författare)
-
Preface
- 2017
-
Ingår i: Lect. Notes Comput. Sci.. - : Springer Verlag. - 9783319689715
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)
|
|
| 10. |
- de Berardinis, J., et al.
(författare)
-
Actor-based macroscopic modeling and simulation for smart urban planning
- 2018
-
Ingår i: Science of Computer Programming. - : Elsevier B.V.. - 0167-6423 .- 1872-7964. ; 168, s. 142-164
-
Tidskriftsartikel (refereegranskat)abstract
- Assessing the impacts of a mobility initiative prior to deployment is a complex task for both urban planners and transport companies. Computational models like Tangramob offer an agent-based framework for simulating the evolution of urban traffic after the introduction of new mobility services. However, simulations can be computationally expensive to perform due to their iterative nature and the microscopic representation of traffic. To address this issue, we designed a simplified model architecture of Tangramob in Timed Rebeca (TRebeca) and we developed a tool-chain for the generation runnable instances of this model starting from the same input files of Tangramob. Running TRebeca models allows users to get an idea of how the mobility initiatives under study affect the traveling experience of commuters, in a short time and without the need to use the simulator during this first experimental step. Then, once a subset of these initiatives is identified according to user's criteria, it is reasonable to simulate them with Tangramob in order to get more detailed results. To validate this approach, we compared the output of both the simulator and the TRebeca model on a collection of mobility initiatives. The correlation between the results demonstrates the usefulness of using TRebeca models for unconventional contexts of application.
|
|
