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.
Repository Staff Only: item control page