Developing AADL Models for Control Systems: A Practitioner's Guide
• Technical Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-2007-TR-014Topic or Tag
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.
Part of a Collection
Architecture Analysis & Design Language (AADL): SEI Resources
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 December 22, 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-Dec-22}
}
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: 22-Dec-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 22 Dec. 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/