Architectural modeling and analysis for safety engineering

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

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

4 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationModel-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Proceedings
EditorsMarco Bozzano, Yiannis Papadopoulos
PublisherSpringer- Verlag
Pages97-111
Number of pages15
ISBN (Print)9783319641188
DOIs
StatePublished - Jan 1 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

Other

Other5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017
CountryItaly
CityTrento
Period9/11/179/13/17

Fingerprint

Safety engineering
Security systems
Safety
Engineering
Braking
System Architecture
Modeling
Safety Analysis
Wheels
Decomposition
Engineers
Information Flow
Modeling Language
Systems Analysis
Development Process
Wheel
Architecture
Reasoning
Decompose
Resources

Keywords

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

Cite this

Stewart, D., Whalen, M. W., Cofer, D., & Heimdahl, M. (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; Heimdahl, Mats.

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 proceedingConference contribution

Stewart, D, Whalen, MW, Cofer, D & Heimdahl, M 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 M. 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)). https://doi.org/10.1007/978-3-319-64119-5_7
Stewart, Danielle ; Whalen, Michael W. ; Cofer, Darren ; Heimdahl, Mats. / 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 Mats Heimdahl",
year = "2017",
month = "1",
day = "1",
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

PY - 2017/1/1

Y1 - 2017/1/1

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

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

ER -