Advanced Search

Content Type

Topics

Publication Date

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

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 Report

Show Citation Formats

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://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=8437

IEEE

Hudak. John, and Feiler. Peter, "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://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=8437

APA

Hudak, John., & Feiler, Peter. (2007). Developing AADL Models for Control Systems: A Practitioner's Guide (CMU/SEI-2007-TR-014). Retrieved September 16, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=8437

CHI

John Hudak, & 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://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=8437

MLA

Hudak, John., & Feiler, Peter. 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://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=8437