Multi-view modeling and analysis of embedded real-time software with meta-modeling and model transformation

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 8, Issue , 2004, Pages 32-41

  Gu, Zonghua ^a   Wang, Shige ^a   Kodase, Sharath ^a   Shin, Kang G ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; C (PROGRAMMING LANGUAGE); COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; METADATA; REAL TIME SYSTEMS; SOFTWARE PROTOTYPING; XML;

EXECUTION RATE ASSIGNMENT; META MODELING; SCHEDULABILITY;

EMBEDDED SYSTEMS;

EID: 2942624508     PISSN: 15302059     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (12)

1. Dionisio de Niz and Raj Rajkumar. Geodesic - a reusable component framework for embedded real-time systems. Technical report, Carnegie Mellon University, 2002.
2. Zonghua Gu, Sharath Kodase, Shige Wang, and Kang G. Shin. A model-based approach to system-level dependency and real-time analysis of embedded software. In Proceedings of Real-Time Applications Symposium, 2003.
3. Zonghua Gu and Kang G. Shin. Modelling and analysis of event-drive real-time systems with time petri nets. In Proceedings of IFIP World Computer Congress, Stream on Distributed and Parallel Embedded Systems, 2002.
4. John Hatcliff, William Deng, Matthew Dwyer, Georg Jung, and Venkatesh Prasad. Cadena: An integrated development, analysis, and verification environment for component-based systems. In International Conference on Software Engineering, 2003.
5. Gabor Karsai, Sandeep Neema, Arpad Bakay, Akos Ledeczi, Feng Shi, and Andy Gokhale. A model-based front-end to tao/ace. In Proceedings of the 2nd Workshop on TAO, 2002.
6. Mark H. Klein, Thomas Ralya, Bill Pollak, and Ray Obenza. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, 1993.
7. D. Schmidt, D. Levine, and T. Harrison. The design and performance of a real-time corba object event service. In Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 434-445, 1997.
8. David Sharp. Object-oriented real-time computing for reusable avionics software. In Proceedings of Fourth International Symposium on Object-Oriented Real-Time Distributed Computing, pages 185-192, 2001.
9. Jun Sun and Jane W.S. Liu. Bounding the end-to-end response times of tasks in a distributed real-time system using the direct synchronization protocol. Technical report, University of Illinois, 1996.
10. Janos Sztipanovits and Gabor Karsai. Model-integrated computing. IEEE Computer, 30(4):110-111, April 1997.
11. OTIF website. http://www.isis.vanderbilt.edu/projects/wotif/.
12. WindRiver website. http://www.wr.com.