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.
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.
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
This brochure explains how the AADL enables early analysis and describes other benefits of using it to support system verification and validation.
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.
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
Model-Based Engineering with AADL introduces an architecture-centric approach to discovering software systems problems earlier, when they cost less to solve.
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.
This report describes how the Architecture Analysis and Design Language (AADL) Error Model Annex supports the safety-assessment methods in SAE Standard ARP4761.
This paper first appeared in the Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems.
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
This report summarizes an architecture-led safety analysis of the aircraft-survivability situation-awareness system for the Joint Multi-Role vertical lift program.
In this podcast, Julien Delange summarizes different perspectives on research related to code generation from software architecture models.
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.
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.
This 2004 report discusses the role and benefits of using the AADL in the process of analyzing an existing avionics system.
This 2007 report describes the ability of AADL to determine a lower bound for the worst-case end-to-end latency in a system.
In this paper, Peter Feiler describes the AADL, an industry standard for modeling and analyzing the architecture of software-reliant systems.
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
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
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
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.
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.