Model-based analysis of distributed real-time embedded system composition

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 371-374

  Madl, Gabor ^a   Abdelwahed, Sherif ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b VANDERBILT UNIVERSITY   (United States)

Author keywords

Design; Verification

Indexed keywords

AVIONICS; DESIGN; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; SCHEDULING; SEMANTICS;

DISTRIBUTED REAL-TIME EMBEDDED (DRE); VERIFICATION;

REAL TIME SYSTEMS;

EID: 29244444178     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086294     Document Type: Conference Paper

References (14)

1. E. Clarke and E. Emerson. Design and synthesis of Synchronisation skeletons using branching time temporal logic. Logic of Programs, Lecture Notes in Computer Science, 131:52-71, 1981.
2. E. M. Clarke, O. Grumberg, H. Hiraishi, S. Jha, D. E. Long, K. L. McMillan, and L. A. Ness, Verification of the futurebus+ cache coherence protocol, In CHDL '93: Proceedings of the 11th IFIP WG10.2 and in cooperation with IEEE COMPSOC, pages 15-30. North-Holland, 1993.
3. D. de Niz and R. Rajkumar. Time Weaver: A Software-Through-Models Framework for Real-Time Systems. In Proceedings of LCTES, 2003.
4. T. Gerdsmeier and R. Cardell-Oliver. Analysis of Scheduling Behaviour using Generic Timed Automata. 42, 2001.
5. Z. Gu, S. Wang, S. Kodase, and K. G. Shin. An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software, In Proceedings of Real-Time Systems Symposium, 2003.
6. J. Hatcliff, X. Deng, M. B. Dwyer, G. Jung, and V. P. Ranganath. Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. In Proceedings of International Conference on Software Engineering, 2003.
7. http://dre.sourceforge.net. Distributed Real-time Embedded Analysis Method. 2005.
8. J.A. Stankovic and R. Zhu and R. Poornalingham and C. Lu and Z. Yu and M. Humphrey and B. Ellis. VEST: An Aspect-based Composition Tool for Real-time Systems. In Proceedings of the IEEE Real-time Applications Symposium, 2003.
9. P. Krčál and W. Yi. Decidable and Undeciclable Problems in Schedulability Analysis Using Timed Automata, In K. Jensen and A. Podelski, editors, Proc. of TACAS'04, Barcelona, Spain., volume 2988 of Lecture Notes in Computer Science, pages 236-250. Springer-Verlag, 2004.
10. G. Madl and S. Abdelwahed. Formal Verification of Distributed Preemptive Real-time Scheduling, Technical report, ISIS, Vanderbilt University, http://www.isis.vanderbilt.edu/publications.asp, 2005.
11. G. Madl, S. Abdelwahed, and G. Karsai. Automatic Verification of Component-Based Real-Time CORBA Applications. In Proceedings of the 25th IEEE International Real- Time Systems Symposium, pages 231-240, December 2004.
12. G. Madl, S. Abdelwahed, and D. C. Schmidt. Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking (invited paper, submitted). The International Journal of Time-Critical Computing, 2005.
13. P. Pettersson and K. G. Larsen. UPPAAL2k. Bulletin of the European Association for Theoretical Computer Science, 70:40-44, feb 2000.
14. D. C. Sharp and W. C. Roll. Model-Based Integration of Reusable Component-Based Avionics Systems. In Proceedings of the Workshop on Model-Driven Embedded Systems in RTAS 2003, May 2003.