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 Note

Dependability Modeling with the Architecture Analysis & Design Language (AADL)

  • Abstract

    The Society for Automotive Engineers (SAE) recently published an Error Model Annex document (SAE AS-5506/1) to complement the SAE Architecture Analysis & Design Language (AADL) standard document (SAE AS5506) with capabilities for dependability modeling. The purpose of this report is to (a) explain the capabilities of the Error Model Annex and (b) provide guidance on the use of the AADL and the error model in modeling dependability aspects of embedded system architectures. The focus of the guidance is the creation of error model libraries and the instantiation of these error models on AADL architecture models. In that context, the report discusses modeling of error propagation, error filtering and masking, the interactions between error models and systems with operational modes, and modeling of repair activities.

  • Download

Cite This Report

SEI

Feiler, Peter; & Rugina, Ana. Dependability Modeling with the Architecture Analysis & Design Language (AADL) (CMU/SEI-2007-TN-043). Software Engineering Institute, Carnegie Mellon University, 2007. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=8277

IEEE

Feiler. Peter, and Rugina. Ana, "Dependability Modeling with the Architecture Analysis & Design Language (AADL)," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2007-TN-043, 2007. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=8277

APA

Feiler, Peter., & Rugina, Ana. (2007). Dependability Modeling with the Architecture Analysis & Design Language (AADL) (CMU/SEI-2007-TN-043). Retrieved December 21, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=8277

CHI

Peter Feiler, & Ana Rugina. Dependability Modeling with the Architecture Analysis & Design Language (AADL) (CMU/SEI-2007-TN-043). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2007. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=8277

MLA

Feiler, Peter., & Rugina, Ana. 2007. Dependability Modeling with the Architecture Analysis & Design Language (AADL) (Technical Report CMU/SEI-2007-TN-043). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=8277