Foundations of a new software engineering method for real-time systems

摘要

The design of a fault-tolerant distributed, realtime, embedded system with safety-critical concerns requires the use of formal languages. In this paper, we present the foundations of a new software engineering method for realtime systems that enables the integration of semiformal and formal notations. This new software engineering method is mostly based upon the "COntinuuM" co-modeling methodology that we have used to integrate architecture models of real-time systems (Perseil and Pautet in 12th International conference on engineering of complex computer systems, ICECCS, IEEE Computer Society, Auckland, pp 371-376, 2007) (so we call it "Method C"), and a model-driven development process (ISBN 978-0-387-39361-2 in: From model-driven design to resource management for distributed embedded systems, Springer, chap. MDE benefits for distributed, real time and embedded systems, 2006). The method will be tested in the design and development of integrated modular avionics (IMA) frameworks, with D0178, D0254, D0297, and MILS-CC requirements.