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 .

[img]
Preview
(Document in English)

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

Abstract

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:
Statistics:download
Deposited By: Jerome Hugues

Repository Staff Only: item control page