OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Performing Safety Analyses with AADL and AltaRica

Brunel, Julien and Feiler, Peter and Hugues, Jérôme and Lewis, Bruce and Prosvirnova, Tatiana and Seguin, Christel and Wrage, Lutz Performing Safety Analyses with AADL and AltaRica. (2017) In: The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 11 September 2017 - 13 September 2017 (Trento, Italy).

(Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-319-64119-5_5


AADL and AltaRica languages can be used to support the safety assessments of system architectures. These languages were defined with different concerns and this paper aims at presenting their principles and how they can be related. A translator from AADL to AltaRica is proposed and its prototype is applied to a simplified flight control system of a UAV. The resulting AltaRica model has been analyzed with the AltaRica safety tools and the experimental results are discussed.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-01707373
Audience (conference):International conference proceedings
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)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Other partners > U.S. Army Aviation & Missile Research Development & Engineering Center - AMRDEC (USA)
Other partners > IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE)
Laboratory name:
Deposited On:12 Feb 2018 16:18

Repository Staff Only: item control page