skip to main content
research-article

Runtime compositional analysis of track-based traffic control systems

Published: 22 November 2017 Publication History

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.

References

[1]
M. Bagheri, I. Akkaya, E. Khamespanah, N. Khakpour, M. Sirjani, A. Movaghar, and E. A. Lee. Coordinated actors for reliable self-adaptive systems. 2016. Proceedings of the 13th International Conference on Formal Aspects of Component Software (FACS 2016).
[2]
B. H. C. Cheng, K. I. Eder, M. Gogolla, L. Grunske, M. Litoiu, H. A. Müller, P. Pelliccione, A. Perini, N. A. Qureshi, B. Rumpe, D. Schneider, F. Trollmann, and N. M. Villegas. Using models at runtime to address assurance for self-adaptive systems, pages 101--136. Springer International Publishing, Cham, 2014.
[3]
C. Ptolemaeus. System Design, Modeling, and Simulation: Using Ptolemy II. Ptolemy. org Berkeley, CA, USA, 2014.
[4]
M. Sirjani, A. Movaghar, A. Shali, and F. S. de Boer. Modeling and verification of reactive systems using rebeca. Fundam. Inf., 63(4):385--410, June 2004.
[5]
G. Tamura, N. M. Villegas, H. A. Müller, J. P. Sousa, B. Becker, G. Karsai, S. Mankovskii, M. Pezzè, W. Schäfer, L. Tahvildari, and K. Wong. Towards practical runtime verification and validation of self-adaptive software systems, pages 108--132. Springer Berlin Heidelberg, Berlin, Heidelberg, 2013.

Cited By

View all
  • (2022)Magnifier: A Compositional Analysis Approach for Autonomous Traffic ControlIEEE Transactions on Software Engineering10.1109/TSE.2021.306919248:8(2732-2747)Online publication date: 1-Aug-2022
  • (2018)What Good are Models?Formal Aspects of Component Software10.1007/978-3-030-02146-7_1(3-31)Online publication date: 5-Oct-2018

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGBED Review
ACM SIGBED Review  Volume 14, Issue 3
October 2017
55 pages
EISSN:1551-3688
DOI:10.1145/3166227
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 November 2017
Published in SIGBED Volume 14, Issue 3

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 08 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2022)Magnifier: A Compositional Analysis Approach for Autonomous Traffic ControlIEEE Transactions on Software Engineering10.1109/TSE.2021.306919248:8(2732-2747)Online publication date: 1-Aug-2022
  • (2018)What Good are Models?Formal Aspects of Component Software10.1007/978-3-030-02146-7_1(3-31)Online publication date: 5-Oct-2018

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media