High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems

The main objective in the MDE¹ approach is to consider all handled items as models (they are ¿first class¿ entities). Then the second objective is to automate the integration of heterogeneous models, thanks to efficient model transformation techniques. In the field of avionic real-time and embedded systems, two modeling languages are now standardized and widely used. The UML₂ profile for MARTE³, ver-sion ß3 is standardized by the OMG⁴ and the AADL⁵ v2.0 is standardized by the SAE⁶. The MARTE profile is used in the first steps of the analysis for more abstract models (e.g. independent of the platforms), the AADL is more used in last steps of the design phase, in order to generate efficient code, mainly or the execution platforms. This paper focuses on the growing role of high-level abstraction modeling in the detailed analysis phase through an intensive the use of the MARTE profile.