Performing Safety Analyses with AADL and AltaRica - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

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.

Domains

Other
Fichier principal
Vignette du fichier
Brunel_19368.pdf (381.94 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01707373 , version 1 (12-02-2018)

Identifiers

Cite

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⟩
128 View
548 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More