search menu icon-carat-right cmu-wordmark

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

Technical Note
This 2007 report explains the capabilities of the Error Model Annex and provides guidance on the use of the AADL and the error model in modeling dependability aspects of embedded system architectures.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2007-TN-043
DOI (Digital Object Identifier)
10.1184/R1/6572996.v1

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.

Cite This Technical Note

Feiler, P., & Rugina, A. (2007, July 1). Dependability Modeling with the Architecture Analysis & Design Language (AADL). (Technical Note CMU/SEI-2007-TN-043). Retrieved March 4, 2024, from https://doi.org/10.1184/R1/6572996.v1.

@techreport{feiler_2007,
author={Feiler, Peter and Rugina, Ana},
title={Dependability Modeling with the Architecture Analysis & Design Language (AADL)},
month={Jul},
year={2007},
number={CMU/SEI-2007-TN-043},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6572996.v1},
note={Accessed: 2024-Mar-4}
}

Feiler, Peter, and Ana Rugina. "Dependability Modeling with the Architecture Analysis & Design Language (AADL)." (CMU/SEI-2007-TN-043). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, July 1, 2007. https://doi.org/10.1184/R1/6572996.v1.

P. Feiler, and A. Rugina, "Dependability Modeling with the Architecture Analysis & Design Language (AADL)," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Note CMU/SEI-2007-TN-043, 1-Jul-2007 [Online]. Available: https://doi.org/10.1184/R1/6572996.v1. [Accessed: 4-Mar-2024].

Feiler, Peter, and Ana Rugina. "Dependability Modeling with the Architecture Analysis & Design Language (AADL)." (Technical Note CMU/SEI-2007-TN-043). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Jul. 2007. https://doi.org/10.1184/R1/6572996.v1. Accessed 4 Mar. 2024.

Feiler, Peter; & Rugina, Ana. Dependability Modeling with the Architecture Analysis & Design Language (AADL). CMU/SEI-2007-TN-043. Software Engineering Institute. 2007. https://doi.org/10.1184/R1/6572996.v1