论文信息 - Runtime compositional analysis of track-based traffic control systems - 字舞流文

Runtime compositional analysis of track-based traffic control systems

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.

Edward A. Lee | Ali Movaghar-Rahimabadi | Ehsan Khamespanah | Marjan Sirjani | Maryam Bagheri | M. Sirjani | Ehsan Khamespanah | Maryam Bagheri | Ali Movaghar-Rahimabadi

[1] Elizabeth Latronico,et al. System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies , 2013 .

[2] Martin Gogolla,et al. Using Models at Runtime to Address Assurance for Self-Adaptive Systems , 2015, Models@run.time@Dagstuhl.

[3] Gabor Karsai,et al. Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems , 2013, Software Engineering for Self-Adaptive Systems.

[4] Edward A. Lee,et al. Coordinated Actors for Reliable Self-adaptive Systems , 2016, FACS.

[5] Frank S. de Boer,et al. Modeling and Verification of Reactive Systems using Rebeca , 2004, Fundam. Informaticae.