Developing AADL Models for Control Systems: A Practitioner's Guide
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.
This report is related to the following area(s) of work:
Performance and DependabilitySoftware Architecture
Technical Report
CMU/SEI-2007-TR-014
July 2007
Cite This Report
SEI:
Hudak, John; & Feiler, Peter. Developing AADL Models for Control Systems: A Practitioner's Guide (CMU/SEI-2007-TR-014). Software Engineering Institute, Carnegie Mellon University, 2007. http://www.sei.cmu.edu/library/abstracts/reports/07tr014.cfm
IEEE:
J. Hudak, and P. Feiler, "Developing AADL Models for Control Systems: A Practitioner's Guide," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2007-TR-014, 2007. http://www.sei.cmu.edu/library/abstracts/reports/07tr014.cfm
APA:
Hudak, J., & Feiler, P. (2007). Developing AADL Models for Control Systems: A Practitioner's Guide (CMU/SEI-2007-TR-014). Retrieved May 22, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/07tr014.cfm
CHI:
Hudak, John, and Peter Feiler. Developing AADL Models for Control Systems: A Practitioner's Guide (CMU/SEI-2007-TR-014). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2007. http://www.sei.cmu.edu/library/abstracts/reports/07tr014.cfm
MLA:
Hudak, J., & Feiler, P. 2007. Developing AADL Models for Control Systems: A Practitioner's Guide (Technical Report CMU/SEI-2007-TR-014). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/07tr014.cfm
Find Us Here
Share This Page
For more information
