OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Combining SysML and AADL for the design, validation and implementation of critical systems

Saqui-Sannes, Pierre de and Hugues, Jérôme Combining SysML and AADL for the design, validation and implementation of critical systems. (2012) In: ERTSS 2012 (Embedded Real Time Software and Systems), 01-03 Feb 2012, Toulouse, France .

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


The realization of critical systems goes through multiple phases of specification, design, integration, validation, and testing. It starts from high-level sketches down to the final product. Model-Based Design has been acknowledged as a good conveyor to capture these steps. Yet, there is no universal solution to represent all activities. Two candidates are the OMG-based SysML to perform high-level modeling tasks, and the SAE AADL to perform lower-level ones, down to the implementation. The paper shares an experience on the seamless use of SysML and the AADL to model, validate/verify and implement a flight management system.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to AAAF.
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT
Université de Toulouse > Institut National des Sciences Appliquées de Toulouse - INSA
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Université de Toulouse > Université Paul Sabatier-Toulouse III - UPS
Laboratory name:
Deposited By: Jerome Hugues
Deposited On:01 Mar 2012 10:18

Repository Staff Only: item control page