OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL

Hugues, Jérôme and Delange, Julien Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL. (2017) In: Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings. Springer, 33-52. ISBN 978-981-10-4436-6

[img] (Document in English)

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

Official URL: https://dx.doi.org/10.1007/978-981-10-4436-6_2


Safety-Critical Systems as used in avionics systems are now extremely software-reliant. As these systems are life- or mission- critical, software must be carefully designed and certified according to stringent standards. One typical pit- fall of corresponding development project is the late detection of safety issues or bugs at integration time that impose to redo development steps. Model-Based Engineering aims at capturing system concerns with specific notations and use models to drive the development process through all its phases – design, vali- dation, implementation and ultimately, certification. Through a single consistent notation, such an approach would avoid undefined assumptions and traditional hurdles due to informal, text-based, specifications. In this paper, we present recent contributions we pushed forward in the AADL architecture description language for the design and validation of Integrated Modular Avionics systems. First, we review modeling patterns to support abstractions for Integrated Modular Avion- ics systems. We then introduce capabilities to check all ARINC653 patterns are enforced at model-level. In addition, we review errror modeling and safety analy- sis capabilities towards the production of safety reports conforming to ARP4761 recommendations, along with code generation strategies to map model elements to code. All these contributions are integrated in one uniform modeling process based on the AADL.

Item Type:Book Section
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Other partners > Carnegie Mellon University - CMU (USA)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Laboratory name:
Deposited On:11 Jul 2017 12:48

Repository Staff Only: item control page