SAE Architecture Analysis and Design Language (AADL) Annex Volume 2
The Behavior Annex extends the SAE AADL standard (AS5506A) with the ability to specify architectural behavior. The Data Modeling Annex provides guidance and a standard set of properties to map a data model into an architecture model expressed in SAE AADL. The ARINC653 Annex provides guidance and properties for specifying ARINC653 compliant embedded system architectures.
Rationale: The purpose of the annexes in this document are to provide guidance on how to associate data models expressed in other notations with an architecture model expressed in AADL, to enable modeling of component and component interaction behavior in a state-machine based annex sublanguage, and to provide guidance on how to model ARINC653 compliant partitioned embedded system architectures in AADL models.