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

Parent SEI Program

Dynamic Systems Program

Parent SEI Project

Performance-Critical Systems

Related Publications

Dependability Modeling with the Architecture Analysis & Design Language (AADL)

Modeling of System Families

The Architecture Analysis & Design Language (AADL): An Introduction

Embedded Systems Architecture Analysis Using SAE AADL

Predictable, Model-Based Engineering for Embedded Systems

John Hudak
Peter Feiler

Technical Report
CMU/SEI-2007-TR-014

PDF Download

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.