Architectural modeling and analysis for safety engineering

Danielle Stewart, Michael W. Whalen, Darren Cofer, Mats P.E. Heimdahl

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Scopus citations


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 languageEnglish (US)
Title of host publicationModel-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings
EditorsMarco Bozzano, Yiannis Papadopoulos
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783319641188
StatePublished - 2017
Event5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017 - Trento, Italy
Duration: Sep 11 2017Sep 13 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10437 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017

Bibliographical note

Publisher Copyright:
© 2017, Springer International Publishing AG.


  • Fault analysis
  • Model-based systems engineering
  • Safety engineering


Dive into the research topics of 'Architectural modeling and analysis for safety engineering'. Together they form a unique fingerprint.

Cite this