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.
SAE AS5506/2-2011 history
2019SAE AS5506/2-2019 SAE Architecture Analysis and Design Language (AADL) Annex Volume 2:Annex B: Data Modeling AnnexAnnex D: Behavior Model AnnexAnnex F: ARINC653 Annex
2011SAE AS5506/2-2011 SAE Architecture Analysis and Design Language (AADL) Annex Volume 2: Annex B: Data Modeling Annex Annex D: Behavior Model Annex Annex F: ARINC653 Annex