AADL logo

Architecture Analysis and Design Language

"A Modeling Language for Safety-Critical Systems"

What is AADL?

Developed by a SAE International sponsored committee of experts, 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 Sept 2012.

The AADL is designed for the specification, analysis, automated integration and code generation of real-time performance-critical (timing, safety, schedulability, fault tolerant, security, etc.) distributed computer systems. It provides a new vehicle to allow analysis of system designs (and system of systems) prior to development and supports a model-based, model-driven development approach throughout the system life cycle.

Benefits of AADL

The SAE AADL standard can lower development and maintenance costs by

Model Dimensions
  • providing a standard, precise syntax and semantics for performance-critical systems, so that documentation can be well defined
  • providing the ability to model large-scale (multi-contractor) architectures from many aspects in a single analyzable model that can be incrementally refined
  • capturing the “architectural API” needed to evaluate the effect of change, such as the emergent properties of integration (e.g., safety, schedulability, end-to-end latency, and security)
  • allowing early and life-cycle tracking of modeling and analysis
  • analyzing the system structure and runtime behavior, complementing functional simulation
  • providing a great complement to reference architectures and component-based or product-line development

Actual users and AADL-related projects

As an international industry standard, AADL enjoys growing acceptance in avionics, aerospace, medical, nuclear, automotive, and robotics communities. 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.

The standardization committee has an active participation from industrial and academic partners, including Adventium Labs, Aerospace, Airbus industries, Boeing, Carnegie Mellon Software Engineering Institute, Chinese Academy of Science, Dassault Aviation, Edgewater, Ellidiss, European Space Agency, Honeywell, INRIA, ISPRAS, ISAE, IRIT, Kansas State University, NASA, Rockwell-Collins, Rolls-Royce, Russian Academy of Science, TELECOM ParisTech, Toyota, U.S Army, University of Pennsylvania. Also, the committee is in active collaboration with other standardization bodies including the ARINC653 working group, the SAVI initiative and The Open Group Real-time.

Learning AADL

AADL book cover

Model-Based Engineering with AADL

Peter Feiler and Dave Gluch authored the book Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language which covers the basics of the language and the related analysis tools. The book is available for purchase online under a hard cover or epub format.

Software Engineering Institute Resources

AADL webinar

The Software Engineering Institute has published a webinar on Architecture Analysis with AADL. The presentations introduces the main concepts of the language and also its analysis capabilities to validate resource budgets, latency and safety.

The webinar is available online with all the presentation materials: video and slides.

AADL on the SEI blog

SEI blogpost articles

The Software Engineering Institute regularly publishes articles on its official blog on AADL. Its provides updates and informations about what is new in the language and what is the new tools or research that use the technology.

The articles are available online on the blog under the AADL category.

Podcast

SEI podcasts

The Software Engineering Institute regularly publishes podcast about AADL. The podcasts feature people from different backgrounds, providing different perspectives about its use in industrial and academic environments.

The podcasts are available on the SEI podcast series under the Software Architecture category. They are also available on the iTunes store under the Software Engineering Institute Podcast Series.

Publications related to AADL

Research Publications

The AADL language and tools are used in many industrial or academic projects. There are a lot of papers published in conferences and journals that can be found on online libraries (such as IEEE Xplore, ACM Digital Library or Google Scholar). The AADL wiki has a dedicated section that maintains a list of existing publications organized by topics, years, etc.

Tutorials, Demonstrations and Teaching

There are a few demonstrations available online. Most of them are available online and listed on the AADL wiki. Also, the AADL standardization meeting regularly hosts tutorials and tools demonstrations. A list of all existing tutorials is available online.

The Software Engineering Institute also offers specific AADL-related courses. They can be delivered at the Software Engineering Institute or on another specific location. The course are presented by AADL experts that design the language and implement OSATE. They can answer very specific questions related to modeling and the AADL. For more information, please read the related information on the SEI website.

Using AADL

Tools Logo

The AADL language is supported by multiple tools, either open-source or commercial. They use the core AADL language and its extensions in several steps of the development process, such as system design, analysis, validation or implementation. A list of tools is available on the AADL wiki.

Getting Involved

AADL mailing lists

Mailing Lists

You can contact the AADL community through our mailing-lists. Mailing-Lists are not open to unregistered members to prevent spam and unsollicitated messages. If you would like to send a message and contact us, you would then need to register to the list that is the most relevant to your topic. You can have the details of mailing-list use on the AADL wiki.

AADL standardization committee

Standardization Committee

The AADL standardization committee meets four times a year in various locations accross the United States and Europe. The goals of these meetings is to meet the community, make progress on the language improvements and discuss actual and future work related to AADL. Information of the AADL meetings is available on the standardization section of the AADL wiki. Check out the user days section that contains many useful materials (including demo and presentations) from AADL users.

If you would like to attend and/or participate on the AADL standardization committee meeting, please contact us on our mailing-lists. We welcome all contributions and are always looking for innovative work and new contributions.

AADL standardization committee

Conferences and Research activities

Model-Based Engineering has many impact on the different aspects of software development. Many technologies are using the language for system design, validation, analysis or code generation. You can find AADL-related articles in many scientific conferences and events. We maintain a list of coming and past scientific conferences/events related to the technology.

The AADL community organize the Architecture-Centric Virtual Integration (ACVI) workshop. Details about the event and its past editions are available online.