Architectural modeling and analysis for safety engineering

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

doi:10.1007/978-3-319-64119-5_7

Architectural modeling and analysis for safety engineering

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

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

16 Scopus citations

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	https://doi.org/10.1007/978-3-319-64119-5_7
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

Funding Information:
Acknowledgements. This research was funded by NASA AMASE NNL16AB07T and University of Minnesota College of Science and Engineering Graduate Fellowship.

Publisher Copyright:
© 2017, Springer International Publishing AG.

Keywords

Fault analysis
Model-based systems engineering
Safety engineering

Access

10.1007/978-3-319-64119-5_7

OpenUrl availability

Full text

Cite this

Stewart, D., Whalen, M. W., Cofer, D., & Heimdahl, M. P. E. (2017). Architectural modeling and analysis for safety engineering. In M. Bozzano, & Y. Papadopoulos (Eds.), Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings (pp. 97-111). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10437 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-64119-5_7

Architectural modeling and analysis for safety engineering. / Stewart, Danielle; Whalen, Michael W.; Cofer, Darren et al.
Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings. ed. / Marco Bozzano; Yiannis Papadopoulos. Springer Verlag, 2017. p. 97-111 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10437 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Stewart, D, Whalen, MW, Cofer, D & Heimdahl, MPE 2017, Architectural modeling and analysis for safety engineering. in M Bozzano & Y Papadopoulos (eds), Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10437 LNCS, Springer Verlag, pp. 97-111, 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, Trento, Italy, 9/11/17. https://doi.org/10.1007/978-3-319-64119-5_7

Stewart D, Whalen MW, Cofer D, Heimdahl MPE. Architectural modeling and analysis for safety engineering. In Bozzano M, Papadopoulos Y, editors, Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings. Springer Verlag. 2017. p. 97-111. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-64119-5_7

Stewart, Danielle ; Whalen, Michael W. ; Cofer, Darren et al. / Architectural modeling and analysis for safety engineering. Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings. editor / Marco Bozzano ; Yiannis Papadopoulos. Springer Verlag, 2017. pp. 97-111 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6f1c597ef515470d98825d58432308ba,

title = "Architectural modeling and analysis for safety engineering",

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.",

keywords = "Fault analysis, Model-based systems engineering, Safety engineering",

author = "Danielle Stewart and Whalen, {Michael W.} and Darren Cofer and Heimdahl, {Mats P.E.}",

note = "Funding Information: Acknowledgements. This research was funded by NASA AMASE NNL16AB07T and University of Minnesota College of Science and Engineering Graduate Fellowship. Publisher Copyright: {\textcopyright} 2017, Springer International Publishing AG.; 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017 ; Conference date: 11-09-2017 Through 13-09-2017",

year = "2017",

doi = "10.1007/978-3-319-64119-5_7",

language = "English (US)",

isbn = "9783319641188",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "97--111",

editor = "Marco Bozzano and Yiannis Papadopoulos",

booktitle = "Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings",

}

TY - GEN

T1 - Architectural modeling and analysis for safety engineering

AU - Stewart, Danielle

AU - Whalen, Michael W.

AU - Cofer, Darren

AU - Heimdahl, Mats P.E.

N1 - Funding Information: Acknowledgements. This research was funded by NASA AMASE NNL16AB07T and University of Minnesota College of Science and Engineering Graduate Fellowship. Publisher Copyright: © 2017, Springer International Publishing AG.

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

KW - Fault analysis

KW - Model-based systems engineering

KW - Safety engineering

UR - http://www.scopus.com/inward/record.url?scp=85029509768&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85029509768&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-64119-5_7

DO - 10.1007/978-3-319-64119-5_7

M3 - Conference contribution

AN - SCOPUS:85029509768

SN - 9783319641188

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 97

EP - 111

BT - Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings

A2 - Bozzano, Marco

A2 - Papadopoulos, Yiannis

PB - Springer Verlag

T2 - 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017

Y2 - 11 September 2017 through 13 September 2017

ER -

Architectural modeling and analysis for safety engineering

Abstract

Publication series

Other

Bibliographical note

Keywords

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this