Abstract
Architecture description languages such as AADL allow systems engineers to specify the structure of system architectures and perform several analyses over them, including schedulability, resource analysis, and information flow. In addition, they permit system-level requirements to be specified and analyzed early in the development process of airborne and ground-based systems. These tools can also be used to perform safety analysis based on the system architecture and initial functional decomposition. Using AADL-based system architecture modeling and analysis tools as an exemplar, we extend existing analysis methods to support system safety objectives of ARP4754A and ARP4761. This includes extensions to existing modeling languages to better describe failure conditions, interactions, and mitigations, and improvements to compositional reasoning approaches focused on the specific needs of system safety analysis. We develop example systems based on the Wheel Braking System in SAE AIR6110 to evaluate the effectiveness and practicality of our approach.
Original language | English (US) |
---|---|
Title of host publication | Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings |
Editors | Marco Bozzano, Yiannis Papadopoulos |
Publisher | Springer Verlag |
Pages | 97-111 |
Number of pages | 15 |
ISBN (Print) | 9783319641188 |
DOIs | |
State | Published - 2017 |
Event | 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017 - Trento, Italy Duration: Sep 11 2017 → Sep 13 2017 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 10437 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Other
Other | 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017 |
---|---|
Country/Territory | Italy |
City | Trento |
Period | 9/11/17 → 9/13/17 |
Bibliographical note
Publisher Copyright:© 2017, Springer International Publishing AG.
Keywords
- Fault analysis
- Model-based systems engineering
- Safety engineering