Performing Safety Analyses with AADL and AltaRica - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Performing Safety Analyses with AADL and AltaRica

Résumé

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.

Domaines

Autre
Fichier principal
Vignette du fichier
Brunel_19368.pdf (381.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
127 Consultations
535 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More