Performing Safety Analyses with AADL and AltaRica
| Autor: | Lutz Wrage, Jérôme Hugues, Bruce Lewis, Tatiana Prosvirnova, Christel Seguin, Julien Brunel, Peter H. Feiler |
|---|---|
| Přispěvatelé: | ONERA - The French Aerospace Lab ( Toulouse ), ONERA, Carnegie Mellon University [Pittsburgh] ( CMU ), Département d'Ingénierie des Systèmes Complexes ( DISC ), Institut Supérieur de l'Aéronautique et de l'Espace ( ISAE-SUPAERO ), US Army Aviation Development Directorate Aviation and Missile Research, IRT Saint Exupéry - Institut de Recherche Technologique, Carnegie Mellon University - CMU (USA), Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE), Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE), U.S. Army Aviation & Missile Research Development & Engineering Center - AMRDEC (USA), IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE), Département d'Ingénierie des Systèmes Complexes - DISC (Toulouse, France), ONERA - The French Aerospace Lab [Toulouse], Carnegie Mellon University [Pittsburgh] (CMU), Département d'Ingénierie des Systèmes Complexes (DISC), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO) |
| Rok vydání: | 2017 |
| Předmět: |
[SPI.OTHER]Engineering Sciences [physics]/Other
AADL [ SPI.OTHER ] Engineering Sciences [physics]/Other Computer science business.industry ComputerApplications_COMPUTERSINOTHERSYSTEMS 0102 computer and information sciences 01 natural sciences AADL – AltaRica – MBSA – Safety patterns Autre 010201 computation theory & mathematics Control system AltaRica Safety patterns MBSA Software engineering business |
| Zdroj: | Model-Based Safety and Assessment ISBN: 9783319641188 IMBSA Proceedings of the 5th International Symposium on Model Based Safety Assessment (IMBSA 2017) The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017) The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), Sep 2017, Trento, Italy. Proceedings of the 5th International Symposium on Model Based Safety Assessment (IMBSA 2017), 10437, pp. 67-81, 2017, 〈10.1007/978-3-319-64119-5_5〉 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⟩ |
| DOI: | 10.1007/978-3-319-64119-5_5 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|