Standard
Architecture Analysis & Design Language (AADL)
2022-04-22
CURRENT
AS5506D
Search Results
Standard
Architecture Analysis and Design Language (AADL) Annex D: Behavior Model Annex
2017-08-22
CURRENT
AS5506/3
Standard
SAE Architecture Analysis and Design Language (AADL) Annex Volume 1:Annex A: Graphical AADL Notation,Annex C: AADL Meta-Model and Interchange Formats,Annex D: Language Compliance and Application Program InterfaceAnnex E: Error Model Annex
2011-04-18
HISTORICAL
AS5506/1
Standard
SAE Architecture Analysis and Design Language (AADL) Annex Volume 2:Annex B: Data Modeling AnnexAnnex D: Behavior Model AnnexAnnex F: ARINC653 Annex
2019-02-18
CURRENT
AS5506/2
Standard
SAE Architecture Analysis and Design Language (AADL) Annex Volume 5: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex
2020-09-30
WIP
AS5506/5
(1) This document contains three annexes to the SAE AS5506B Standard - the SAE Architecture Analysis and Description Language. (2) The first annex, the Error-Model Language extends the AADL core language with a state machine-based notation. This notation allows for specification of different types of faults, fault behavior of individual system components, fault propagation affecting related components in terms of peer to peer interactions and deployment relationship between software components and their execution platform, aggregation of fault behavior and propagation in terms of the component hierarchy. The notation also allows for specification fault mitigation strategies expected to be implemented in the health monitoring and fault management component of the actual system – also known as Fault Detection, Isolation, and Recovery (FDIR).
