Architecture Analysis & Design Language (AADL): SEI Resources
• Collection
Publisher
Software Engineering Institute
Subjects
Abstract
The Architecture Analysis and Design Language, or AADL, is an SAE International standard for describing both the software architecture and the execution platform architectures of performance-critical, embedded, real-time systems. AADL is being used for the engineering of safety-critical systems.
Collection Items
AADL/ACVIP User Day 2022
• Collection
By Software Engineering Institute
These presentations were given virtually at AADL/ACVIP User Day 2022.
Learn More
AADL/ACVIP User Days 2021
• Collection
By Software Engineering Institute
These presentations were given virtually at AADL/ACVIP User Days 2021.
Learn More
AADL User Day 2019
• Collection
By Software Engineering Institute
This collection includes all presentations delivered at AADL User Day 2019
Learn More
AADL Overview and Perspectives
• Presentation
By Peter H. Feiler
Slides from a presentation delivered by Peter Feiler at AADL User Day 2019.
Learn More
Architecture Centric Virtual Integration Process (ACVIP): A Key Component of the DoD Digital Engineering Strategy
• Conference Paper
By Alex Boydston (U.S. Army ADD/JMR), Peter H. Feiler, Steve Vestal (Honeywell Technology Center), Bruce Lewis (U.S. Army AMCOM)
ACVIP is a compositional, architecture-centric, model-based approach enabling virtual integration analysis in the early phases and throughout the lifecycle to detect and remove defects that currently are not found until …
Read
Architecture-Led Incremental System Assurance (ALISA) Tutorial
• Collection
By Software Engineering Institute
This collection consists of a 6-part ALISA tutorial, including a demo.
Learn More
The AADL Error Library
• Podcast
By Sam Procter, Peter H. Feiler
Peter Feiler and Sam Procter present the Architecture Analysis and Design Language (AADL) EMV2 Error Library, which is an established taxonomy that draws on a broad range of previous work …
Listen
System Architecture Virtual Integration Nets Significant Savings
• Newsletter
By Software Engineering Institute
This May 16, 2018 SEI Bulletin talks about a blog post written by Peter Feiler on an analysis on System Architecture Virtual Integration Nets Significant Savings
Read
AADL and OSATE: A Tool Kit to Support Model-Based Engineering
• Fact Sheet
By Software Engineering Institute
This brochure describes the Architecture Analysis & Design Language and the Open Source AADL Tool Environment, two tools that support model-based engineering.
Learn More
System Verification and Validation with Model-Based Engineering: The Architecture Analysis & Design Language
• Fact Sheet
By Software Engineering Institute
This brochure explains how the AADL enables early analysis and describes other benefits of using it to support system verification and validation.
Learn More
The Architecture Analysis & Design Language (AADL): An Introduction
• Technical Note
By Peter H. Feiler, David P. Gluch, John J. Hudak
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.
Read
What's New With Version 2 of the AADL Standard?
• Podcast
By Peter H. Feiler
In this podcast, Peter Feiler discusses the latest changes to the Architecture Analysis & Design Language (AADL) standard.
Listen
Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language
• Book
By Peter H. Feiler, David P. Gluch
Model-Based Engineering with AADL introduces an architecture-centric approach to discovering software systems problems earlier, when they cost less to solve.
Read
Training Course: Modeling System Architectures Using AADL
• Brochure
By Software Engineering Institute
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.
Learn More
AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment
• Technical Report
By Julien Delange, Peter H. Feiler, David P. Gluch, John J. Hudak
This report describes how the Architecture Analysis and Design Language (AADL) Error Model Annex supports the safety-assessment methods in SAE Standard ARP4761.
Read
An Implementation of the Behavior Annex in the AADL-Toolset Osate2
• Conference Paper
By Gilles Lasnier (TELECOM ParisTech), Laurent Pautet (TELECOM ParisTech), Jerome Hugues, Lutz Wrage
This paper first appeared in the Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems.
Read
Architecture Analysis with AADL
• Webcast
By Julien Delange
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 …
Watch
Architecture-Led Safety Analysis of the Joint Multi-Role (JMR) Joint Common Architecture (JCA) Demonstration System
• Special Report
By Peter H. Feiler
This report summarizes an architecture-led safety analysis of the aircraft-survivability situation-awareness system for the Joint Multi-Role vertical lift program.
Read
Coding with AADL
• Podcast
By Julien Delange, Suzanne Miller
In this podcast, Julien Delange summarizes different perspectives on research related to code generation from software architecture models.
Listen
Dependability Modeling with the Architecture Analysis & Design Language (AADL)
• Technical Note
By Peter H. Feiler, Ana Rugina
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 …
Read
Developing AADL Models for Control Systems: A Practitioner's Guide
• Technical Report
By John J. Hudak, Peter H. Feiler
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.
Read
Embedded Systems Architecture Analysis Using SAE AADL
• Technical Note
By Peter H. Feiler, David P. Gluch, John J. Hudak, Bruce Lewis (U.S. Army AMCOM)
This 2004 report discusses the role and benefits of using the AADL in the process of analyzing an existing avionics system.
Read
Flow Latency Analysis with the Architecture Analysis and Design Language (AADL)
• Technical Note
By Peter H. Feiler, Jörgen Hansson (University of Skovde)
This 2007 report describes the ability of AADL to determine a lower bound for the worst-case end-to-end latency in a system.
Read
Industry Standard Notation for Architecture-Centric Model-Based Engineering
• White Paper
By Peter H. Feiler
In this paper, Peter Feiler describes the AADL, an industry standard for modeling and analyzing the architecture of software-reliant systems.
Read
The Latest Developments in AADL
• Podcast
By Peter H. Feiler, Julien Delange
Julien Delange and Peter Feiler discuss the latest developments with the Architecture Analysis and Design Language (AADL) standard.
Listen
Potential System Integration Issues in the Joint Multi-Role (JMR) Joint Common Architecture (JCA) Demonstration System
• Special Report
By Peter H. Feiler, John J. Hudak
This report describes a method for capturing information from requirements documents in AADL to identify potential integration problems early in system development.
Read
Requirements and Architecture Specification of the Joint Multi-Role (JMR) Joint Common Architecture (JCA) Demonstration System
• Special Report
By Peter H. Feiler
This report describes a method for capturing information from requirements documents in AADL and the draft Requirement Definition & Analysis Language Annex.
Read
The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering
• White Paper
By Peter H. Feiler, Steve Vestal (Honeywell Technology Center)
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.
Read
Secure Coding Analysis of an AADL Code Generator's Runtime System
• White Paper
By David Keaton
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.
Read
Integrating Safety and Security Engineering for Mission-Critical Systems (2019)
• Poster
By Sam Procter
This poster provides an update on research to make systems safer and more secure.
Download
System Architecture Virtual Integration: ROI on Early Discovery of Defects
• Podcast
By Peter H. Feiler
Peter Feiler discusses the cost savings (26.1 percent) realized when using the System Architecture Virtual Integration approach on the development of software-reliant systems for aircraft.
Listen
Integrated Safety and Security Engineering for Mission-Critical Systems
• Presentation
By Sam Procter
This presentation describes progress in research to develop software and processes that use a system's architecture to support developer intuition and improve safety and security.
Learn More
How is virtual system integration useful?
• Video
By Software Engineering Institute
Watch Sam Procter discuss "How is virtual system integration useful?" in this SEI SoundByte.
Watch
What would convince DoD Program Managers to use model-based system engineering?
• Video
By Software Engineering Institute
Watch Sam Procter and Jeff Boleng discuss "What would convince DoD Program Managers to use model-based system engineering?"
Watch
How can model-based system analysis be more integrated with system development?
• Video
By Software Engineering Institute
Watch Sam Procter discuss "How can model-based system analysis be more integrated with system development?"
Watch
How has the DARPA HACMS project used virtual system integration technology?
• Video
By Software Engineering Institute
Watch Sam Procter discuss "How has the DARPA HACMS project used virtual system integration technology?"
Watch
ROI Analysis of the System Architecture Virtual Integration Initiative
• Technical Report
By Jörgen Hansson (University of Skovde), Steve Helton (The Boeing Company), Peter H. Feiler
This report presents an analysis of the economic effects of the System Architecture Virtual Integration approach on the development of software-reliant systems for aircraft compared to existing development paradigms.
Read
Automated Assurance of Security Policy Enforcement (2017)
• Poster
By Peter H. Feiler, Sam Procter
Poster for a research project on safety-critical system security policy enforcement
Download
Improvements in Safety Analysis for Safety Critical Software Systems
• Presentation
By Peter H. Feiler
Recent advances in virtual system integration through architecture modeling and analysis have led to improvements in safety analysis in several ways, which will be described in this presentation.
Learn More
Architecture-Led Safety Process
• Technical Report
By Peter H. Feiler, Julien Delange, David P. Gluch, John McGregor
Architecture-Led Safety Analysis (ALSA) is a safety analysis method that uses early architecture knowledge to supplement traditional safety analysis techniques to identify faults as early as possible.
ReadPart of a Collection
2019 SEI Year in Review Resources