Foundations of a new software engineering method for real-time systems |
| |
Authors: | Isabelle Perseil Laurent Pautet |
| |
Affiliation: | (1) TELECOM ParisTech, 46 rue Barrault, 75013 Paris, France |
| |
Abstract: | The design of a fault-tolerant distributed, real-time, 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 real-time 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
DO178, DO254, DO297, and MILS-CC requirements. |
| |
Keywords: | Software engineering method MDE MDA PBSE MARTE UML AADL +CAL Real-time Code generation Model transformation Continuum |
本文献已被 SpringerLink 等数据库收录! |
|