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

Abstract

The main objective in the MDE1 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 UML2 profile for MARTE, version β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.