Skip to Main content Skip to Navigation
Conference papers

Performing Safety Analyses with AADL and AltaRica

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Monday, February 12, 2018 - 5:19:17 PM
Last modification on : Tuesday, March 16, 2021 - 3:44:18 PM
Long-term archiving on: : Monday, May 7, 2018 - 11:41:26 PM


Files produced by the author(s)




Julien Brunel, Peter Feiler, Jérôme Hugues, Bruce Lewis, Tatiana Prosvirnova, et al.. Performing Safety Analyses with AADL and AltaRica. The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), Sep 2017, Trento, Italy. pp. 67-81, ⟨10.1007/978-3-319-64119-5_5⟩. ⟨hal-01707373⟩



Record views


Files downloads