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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...