Title

Author(s)

Short Description

Date

Model-Based Engineering with AADL (pdf, 1.7 mb)

Peter Feiler

This document provides an overview of the changes to the standard in v2.

June 2009

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

John Hudak and Peter Feiler

This document is a guide to help practitioners use the AADL to construct an architectural model. 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.

July 2007

Modeling of System Families

Peter Feiler

Discusses how AADL can be used to model system families and configurations of system and component variants. It shows that AADL supports system families by providing component types that are used to specify component interfaces and multiple implementations for each component type. This report also shows that AADL uses properties to represent multiple dimensions of system variability ranging from variation through conditional compilation to variation through different sets of calibration parameters.

July 2007

Modeling with AADL (pdf, 196 kb)

Thomas Vergnaud

Provides discussion on patterns to help design architectures, requirements for AADL runtimes, semantics of AADL constructions, and overview of AADL annexes. Argues that an annex is needed to specify the semantics of AADL constructions, define the runtime services that can be used by behavior descriptions, and support a modeling methodology.

April 2007

Multi-Fidelity Multi-Dimensional Analysis of Performance-Critical Systems (pdf, 990 kb)

Peter Feiler (SEI)

Demonstrates model-based embedded system engineering, resource consumption, concurrency and timing, end-to-end latency, security, and temporal data consistency

April 2007

Model Based Computer System Engineering with the SAE Architecture Analysis & Design Language (AADL) (pdf, 1.1mb)

Bruce Lewis (U.S. Army AMRDEC)

Explains how AADL addresses the need for an integrated modeling and analysis based process to system integration, the largest technical cause of program failure

January 2007

The Architecture Analysis & Design Language: An Introduction 

P. Feiler, D.Gluch, J. Hudak (SEI)

An introductory guide to AADL

February 2006

The SAE Architecture Analysis & Design Language (AADL) Standard (pdf, 964kb)

P. Feiler (SEI)

A high-level summary on the SAE AADL standard with speaker notes

November 2005

The SAE Architecture Analysis & Design Language (AADL) Standard: An International Industry Standard for Embedded & Real-Time System (pdf, 1.5mb)

P. Feiler (SEI) and
B. Lewis (U.S. Army AMRDEC)

An overview of the AADL standard, its use, and supporting tool environment

February 2005

Scope of the SAE AADL Standard (pdf, 23.5kb)

A summary of the purpose and scope of the SAE AADL extracted from the draft standard document

2005

The SAE AADL Standard: A Language Summary (pdf, 38kb)

A summary of the SAE AADL

2005

Overview of the UML Profile for the SAE AADL (pdf, 219kb)

E. Colbert (USC)

From SAE World Aviation Congress, 2004

November 2004

Overview of the XML Schema for the SAE AADL (pdf, 265kb)

P. Feiler (SEI)

An overview of the AADL meta model and XML/XMI interchange

October 2004

Embedded Systems Architecture Analysis Using SAE AADL

P. Feiler (SEI),
D. Gluch (Embry-Riddle Aeronautic University/SEI), 
J. Hudak (SEI) , and
B. Lewis (U.S. Army AMRDEC)

A discussion on the use of SAE AADL in a pattern-based analysis of an avionics system architecture to identify systemic issues

June 2004

The SAE AADL Standard: A Basis for Model- Based Architecture-Driven Embedded Systems Engineering (pdf, 83kb)

P. Feiler (SEI)

An overview of the SAE AADL standards effort and its relationship to OMG standardization efforts (originally presented at the RTAS Workshop in 2003)

2003

Improving Predictability in Embedded Real-time Systems (pdf, 495kb)

P. Feiler (SEI),
B. Lewis (U.S. Army AMRDEC), and
S. Vestal (Honeywell)

An overview of the benefits of model-based approach supported by AADL; includes a summary of a case study on the use of MetaH (AADL precursor) in an embedded system reimplementation and retargeting effort

December 2000

Architecture-Based Model Driven Software and System Development for Real-Time Embedded Systems (pdf, 218kb)

B. Lewis (U.S. Army AMRDEC)

This is a shorter version of the report named Improving Predictability in Embedded Real-Time Systems

2000