search menu icon-carat-right cmu-wordmark

Embedded Systems Architecture Analysis Using SAE AADL

Technical Note
This 2004 report discusses the role and benefits of using the AADL in the process of analyzing an existing avionics system.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2004-TN-005
DOI (Digital Object Identifier)
10.1184/R1/6573425.v1

Abstract

The emerging Society of Automotive Engineers Architecture Analysis and Design Language (AADL) standard is an architecture modeling language for real-time, fault-tolerant, scalable, embedded, multiprocessor systems. It enables the development and predictable integration of highly evolvable systems as well as analysis of existing systems. It supports early and repeated analyses of a system's architecture with respect to performance-critical properties through an extendable notation, a tool framework, and precisely defined semantics. This report discusses the role and benefits of using the AADL in the process of analyzing an existing avionics system. The AADL is used to describe architecture patterns in the system being analyzed and to identify potentially systemic issues in the system. Findings related to timing, scheduling, and fault tolerance and the benefits of the use of the AADL are examined. 

The report also highlights the benefits of working with architecture abstractions that are reflected in the AADL notation, in particular the separation of architecture design decisions from implementation decisions. Such a lightweight architecture analysis is typically followed by a full-scale AADL model of the system with required and actual timing, performance, and reliability figures, and its analysis to determine whether the requirements are met.

Cite This Technical Note

Feiler, P., Gluch, D., Hudak, J., & Lewis, B. (2004, June 1). Embedded Systems Architecture Analysis Using SAE AADL. (Technical Note CMU/SEI-2004-TN-005). Retrieved February 22, 2024, from https://doi.org/10.1184/R1/6573425.v1.

@techreport{feiler_2004,
author={Feiler, Peter and Gluch, David and Hudak, John and Lewis, Bruce},
title={Embedded Systems Architecture Analysis Using SAE AADL},
month={Jun},
year={2004},
number={CMU/SEI-2004-TN-005},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://doi.org/10.1184/R1/6573425.v1},
note={Accessed: 2024-Feb-22}
}

Feiler, Peter, David Gluch, John Hudak, and Bruce Lewis. "Embedded Systems Architecture Analysis Using SAE AADL." (CMU/SEI-2004-TN-005). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, June 1, 2004. https://doi.org/10.1184/R1/6573425.v1.

P. Feiler, D. Gluch, J. Hudak, and B. Lewis, "Embedded Systems Architecture Analysis Using SAE AADL," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Note CMU/SEI-2004-TN-005, 1-Jun-2004 [Online]. Available: https://doi.org/10.1184/R1/6573425.v1. [Accessed: 22-Feb-2024].

Feiler, Peter, David Gluch, John Hudak, and Bruce Lewis. "Embedded Systems Architecture Analysis Using SAE AADL." (Technical Note CMU/SEI-2004-TN-005). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Jun. 2004. https://doi.org/10.1184/R1/6573425.v1. Accessed 22 Feb. 2024.

Feiler, Peter; Gluch, David; Hudak, John; & Lewis, Bruce. Embedded Systems Architecture Analysis Using SAE AADL. CMU/SEI-2004-TN-005. Software Engineering Institute. 2004. https://doi.org/10.1184/R1/6573425.v1