search menu icon-carat-right cmu-wordmark

Developing AADL Models for Control Systems: A Practitioner's Guide

Technical Report
This 2007 document helps practitioners use AADL and describes an approach for and the mechanics of constructing an architectural model that can be analyzed based on the AADL.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-2007-TR-014

Abstract

This document is a guide to help practitioners using the Architecture Analysis and Design Language (AADL), an international industry standard for the model-based engineering of real-time and embedded systems. The primary goal of this document is to describe an approach for and the mechanics of constructing an architectural model that can be analyzed based on the AADL. The first section of this document presents an overview of AADL concepts and many of the keywords of the language. The second part of the document illustrates a model-building approach using the AADL. It takes the perspective of an engineer who is developing a model for the first time using the AADL. This guide leads the reader through complete AADL model development based on automotive embedded control systems (cruise control, traction control, etc.) by describing the use and syntax of the AADL and interleaving modeling abstraction tradeoffs to achieve models that are abstract but precise. Models are constructed with different analysis perspectives in mind to illustrate the semantics as well as the richness of the AADL.

Cite This Technical Report

Hudak, J., & Feiler, P. (2007, July 1). Developing AADL Models for Control Systems: A Practitioner's Guide. (Technical Report CMU/SEI-2007-TR-014). Retrieved April 17, 2024, from https://insights.sei.cmu.edu/library/developing-aadl-models-for-control-systems-a-practitioners-guide/.

@techreport{hudak_2007,
author={Hudak, John and Feiler, Peter},
title={Developing AADL Models for Control Systems: A Practitioner's Guide},
month={Jul},
year={2007},
number={CMU/SEI-2007-TR-014},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/developing-aadl-models-for-control-systems-a-practitioners-guide/},
note={Accessed: 2024-Apr-17}
}

Hudak, John, and Peter Feiler. "Developing AADL Models for Control Systems: A Practitioner's Guide." (CMU/SEI-2007-TR-014). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, July 1, 2007. https://insights.sei.cmu.edu/library/developing-aadl-models-for-control-systems-a-practitioners-guide/.

J. Hudak, and P. Feiler, "Developing AADL Models for Control Systems: A Practitioner's Guide," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-2007-TR-014, 1-Jul-2007 [Online]. Available: https://insights.sei.cmu.edu/library/developing-aadl-models-for-control-systems-a-practitioners-guide/. [Accessed: 17-Apr-2024].

Hudak, John, and Peter Feiler. "Developing AADL Models for Control Systems: A Practitioner's Guide." (Technical Report CMU/SEI-2007-TR-014). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Jul. 2007. https://insights.sei.cmu.edu/library/developing-aadl-models-for-control-systems-a-practitioners-guide/. Accessed 17 Apr. 2024.

Hudak, John; & Feiler, Peter. Developing AADL Models for Control Systems: A Practitioner's Guide. CMU/SEI-2007-TR-014. Software Engineering Institute. 2007. https://insights.sei.cmu.edu/library/developing-aadl-models-for-control-systems-a-practitioners-guide/