search menu icon-carat-right cmu-wordmark

AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment

Technical Report
This report describes how the Architecture Analysis and Design Language (AADL) Error Model Annex supports the safety-assessment methods in SAE Standard ARP4761.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2014-TR-020
DOI (Digital Object Identifier)
10.1184/R1/6571805.v1

Abstract

SAE Standard Aerospace Recommended Practice (ARP) 4761, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, provides general guidance on evaluating the safety aspects of a design and identifies processes, methods, and tools to support the evaluation. The Architecture Analysis and Design Language (AADL) Error Model Annex defines features to enable specification of risk mitigation methods in an architecture and assessments of system properties such as safety and reliability. This report describes how the AADL Error Model Annex supports the safety assessment processes and techniques presented in SAE Standard ARP4761. It provides a mapping between constructs of the AADL Error Model Annex and the assessment techniques identified in ARP4761 and presents examples of using the Error Model Annex with those techniques. The processes and techniques of the ARP4761 standard that this report addresses are the Functional Hazard Assessment, Preliminary System Safety Assessment, System Safety Assessment, Fault Tree Analysis, Failure Modes and Effects Analysis, Markov Analysis, and Dependence Diagrams, also referred to as Reliability Block Diagrams.

Cite This Technical Report

Delange, J., Feiler, P., Gluch, D., & Hudak, J. (2014, October 10). AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment. (Technical Report CMU/SEI-2014-TR-020). Retrieved February 23, 2024, from https://doi.org/10.1184/R1/6571805.v1.

@techreport{delange_2014,
author={Delange, Julien and Feiler, Peter and Gluch, David and Hudak, John},
title={AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment},
month={Oct},
year={2014},
number={CMU/SEI-2014-TR-020},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6571805.v1},
note={Accessed: 2024-Feb-23}
}

Delange, Julien, Peter Feiler, David Gluch, and John Hudak. "AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment." (CMU/SEI-2014-TR-020). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, October 10, 2014. https://doi.org/10.1184/R1/6571805.v1.

J. Delange, P. Feiler, D. Gluch, and J. Hudak, "AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2014-TR-020, 10-Oct-2014 [Online]. Available: https://doi.org/10.1184/R1/6571805.v1. [Accessed: 23-Feb-2024].

Delange, Julien, Peter Feiler, David Gluch, and John Hudak. "AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment." (Technical Report CMU/SEI-2014-TR-020). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 10 Oct. 2014. https://doi.org/10.1184/R1/6571805.v1. Accessed 23 Feb. 2024.

Delange, Julien; Feiler, Peter; Gluch, David; & Hudak, John. AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment. CMU/SEI-2014-TR-020. Software Engineering Institute. 2014. https://doi.org/10.1184/R1/6571805.v1