search menu icon-carat-right cmu-wordmark

Architecture Analysis & Design Language (AADL): SEI Resources

This page collects the SEI's resources on AADL, a modeling notation with semantics for representing the architecture of large-scale, software-intensive embedded systems.

Publisher:

Software Engineering Institute

Developed by a committee of experts led by the SEI's Peter Feiler and sponsored by SAE International, the Architecture Analysis & Design Language (AADL) was approved and published as SAE Standard AS-5506 in November 2004. Version 2.1 of the standard was published in September 2012.

The AADL is designed for the specification, analysis, automated integration, and code generation of real-time, performance-critical, distributed computer systems. It supports the analysis of system designs before development and provides a model-based, model-driven development approach throughout the system lifecycle.

As an international industry standard, the avionics, aerospace, medical, nuclear, automotive, and robotics communities are increasingly using AADL to represent and analyze systems and systems of systems. You can find out more presentation materials and more details under the wiki section dedicated to the standardization committee works, and all publication materials related to AADL.

This page collects the SEI's resources on AADL.

AADL and OSATE: A Tool Kit to Support Model-Based Engineering

March 2017

This brochure describes the Architecture Analysis & Design Language and the Open Source AADL Tool Environment, two tools that support model-based engineering.

System Verification and Validation with Model-Based Engineering: The Architecture Analysis & Design Language

March 2017

This brochure explains how the AADL enables early analysis and describes other benefits of using it to support system verification and validation.

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

February 2006

This 2006 report provides an introduction to the AADL, a modeling language that supports early and repeated analyses of a system's architecture with respect to performance-critical properties.

What's New With Version 2 of the AADL Standard?

March 2013

In this podcast, Peter Feiler discusses the latest changes to the Architecture Analysis & Design Language (AADL) standard.

Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language

September 2012

Model-Based Engineering with AADL introduces an architecture-centric approach to discovering software systems problems earlier, when they cost less to solve.

Training Course: Modeling System Architectures Using AADL

April 2010

In the Modeling System Architectures Using the Architecture Analysis and Design Language (AADL) course, you will learn how to use tools for model-based engineering.

AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment

October 2014

This report describes how the Architecture Analysis and Design Language (AADL) Error Model Annex supports the safety-assessment methods in SAE Standard ARP4761.

An Implementation of the Behavior Annex in the AADL-toolset Osate2

April 2011

This paper first appeared in the Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems.

Architecture Analysis with AADL

November 2014

This webinar introduces the Architecture Analysis and Design Language (AADL), the architecture modeling language used to specify safety-critical systems. We show its use in the Open Source AADL Tool Environment (OSATE).

Architecture-Led Safety Analysis of the Joint Multi-Role (JMR) Joint Common Architecture (JCA) Demonstration System

December 2015

This report summarizes an architecture-led safety analysis of the aircraft-survivability situation-awareness system for the Joint Multi-Role vertical lift program.

Coding with AADL

November 2014

In this podcast, Julien Delange summarizes different perspectives on research related to code generation from software architecture models.

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

July 2007

This 2007 report explains the capabilities of the Error Model Annex and provides guidance on the use of the AADL and the error model in modeling dependability aspects of embedded system architectures.

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

July 2007

This 2007 document helps practitioners use AADL and describes an approach for and the mechanics of constructing an architectural model that can be analyzed based on the AADL.

Embedded Systems Architecture Analysis Using SAE AADL

June 2004

This 2004 report discusses the role and benefits of using the AADL in the process of analyzing an existing avionics system.

Flow Latency Analysis with the Architecture Analysis and Design Language (AADL)

December 2007

This 2007 report describes the ability of AADL to determine a lower bound for the worst-case end-to-end latency in a system.

Industry Standard Notation for Architecture-Centric Model-Based Engineering

January 2010

In this paper, Peter Feiler describes the AADL, an industry standard for modeling and analyzing the architecture of software-reliant systems.

The Latest Developments in AADL

January 2013

Julien Delange and Peter Feiler discuss the latest developments with the Architecture Analysis and Design Language (AADL) standard.

Potential System Integration Issues in the Joint Multi-Role (JMR) Joint Common Architecture (JCA) Demonstration System

December 2015

This report describes a method for capturing information from requirements documents in AADL to identify potential integration problems early in system development.

Requirements and Architecture Specification of the Joint Multi-Role (JMR) Joint Common Architecture (JCA) Demonstration System

December 2015

This report describes a method for capturing information from requirements documents in AADL and the draft Requirement Definition & Analysis Language Annex.

The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering

May 2003

The AADL standard will include a UML profile useful for avionics, space, automotive, robotics and other real-time concurrent processing domains including safety critical applications.

Secure Coding Analysis of an AADL Code Generator's Runtime System

September 2015

This paper describes a secure coding analysis of the PolyORB-HI-C runtime system used by C language code output from the Ocarina AADL code generator.