Brunel, Julien and Feiler, Peter and Hugues, Jérôme
and Lewis, Bruce and Prosvirnova, Tatiana and Seguin, Christel and Wrage, Lutz
Performing Safety Analyses with AADL and AltaRica.
(2017)
In: The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 11 September 2017 - 13 September 2017 (Trento, Italy).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 391kB |
Official URL: http://dx.doi.org/10.1007/978-3-319-64119-5_5
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| HAL Id: | hal-01707373 |
| Audience (conference): | International conference proceedings |
| Uncontrolled Keywords: | |
| Institution: | Other partners > Carnegie Mellon University - CMU (USA) Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE) French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE) Other partners > U.S. Army Aviation & Missile Research Development & Engineering Center - AMRDEC (USA) Other partners > IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE) |
| Laboratory name: | |
| Statistics: | download |
| Deposited On: | 12 Feb 2018 16:18 |
Repository Staff Only: item control page
