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 metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01707373
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Monday, February 12, 2018 - 5:19:17 PM
Last modification on : Tuesday, March 26, 2019 - 2:28:03 PM
Document(s) archivé(s) le : Monday, May 7, 2018 - 11:41:26 PM

File

Brunel_19368.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics