SAE AADL Standard Document

The SAE AADL language standard document is available from the SAE under document number AS-5506. This standard defines a textual and graphical language language for describing both the software architecture and the execution platform architectures of performance-critical, embedded, real-time systems. Such a description allows a system designer to perform system schedulability, sizing, safety, and other analyses to evaluate architectural tradeoffs and changes. 

The SAE AADL standard consists of

  • the specification of the core language with textual syntax, semantics, and a graphical representation
  • a meta model definition and an XML/XMI specification as an SAE AADL model interchange format
  • a UML 2.0 profile of the SAE AADL

Four annexes have been approved and appended to the standard document:

  • Error Model Annex
  • Graphical AADL Notation Annex
  • Programming Language Compliance and API Annex
  • XML/XMI Interchange Format Annex