Extensions to SAE AADL Adapt Standard to Variety of Needs

The SAE AADL core language is applicable to systems that are real time, resource constrained, and safety critical and that may include specialized device hardware. While it provides a number of modeling concepts with precise semantics, including the mapping to execution platforms and the specification of execution time behavior, the core language cannot accommodate all possible architecture analyses.

That’s why the core language is designed to be extensible in two ways:

  • introduction of new properties or notations
    The standard provides the capability for users or tool vendors to customize the language by introducing sets of new properties or analysis-specific notations that can be associated with components.
  • approved sublanguage extensions
    These extensions are proposed, developed, balloted, and approved as part of the language through annex documents. They are approved SAE AADL standard annex documents and contain sublanguage syntax that is compliant with the standard.