Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment

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

  • Download

Cite This Report

SEI

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, Carnegie Mellon University. 2014. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=311884

IEEE

Delange. Julien, Feiler. Peter, Gluch. David, and Hudak. John, "AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2014-TR-020 , 2014. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=311884

APA

Delange, Julien., Feiler, Peter., Gluch, David., & Hudak, John. (2014). AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment (CMU/SEI-2014-TR-020 ). Retrieved November 23, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=311884

CHI

Julien Delange, Peter Feiler, David Gluch, & John Hudak. AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment (CMU/SEI-2014-TR-020 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2014. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=311884

MLA

Delange, Julien., Feiler, Peter., Gluch, David., & Hudak, John. 2014. AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment (Technical Report CMU/SEI-2014-TR-020 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=311884

BibTex

@techreport{DelangeAADLFault2014,
title={AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment},
author={Julien Delange and Peter Feiler and David Gluch and John Hudak},
year={2014},
number={CMU/SEI-2014-TR-020 },
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=311884} }