TY - GEN
T1 - High-level abstraction modeling for detailed analysis of avionic real-time systems
AU - Perseil, Isabelle
AU - Pautet, Laurent
PY - 2010/6/14
Y1 - 2010/6/14
N2 - 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 MARTE3, version β3 is standardized by the OMG4 and the AADL5 v2.0 is standardized by the SAE6. 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 for 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.
AB - 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 MARTE3, version β3 is standardized by the OMG4 and the AADL5 v2.0 is standardized by the SAE6. 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 for 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.
U2 - 10.1109/ECBS.2010.55
DO - 10.1109/ECBS.2010.55
M3 - Conference contribution
AN - SCOPUS:77953249676
SN - 9780769540054
T3 - 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010
SP - 418
EP - 424
BT - 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010
T2 - 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010
Y2 - 22 March 2010 through 26 March 2010
ER -