• SAE AS5506/1A

SAE AS5506/1A

  • SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, An
  • standard by SAE International, 09/03/2015
  • Category: SAE

$81.00 $41.00

This document contains three annexes to the SAE AS5506B Standard - the SAE Architecture Analysis and Description Language. 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). The actual design of this component is expressed in the AADL core model. The second annex, the ARINC653 Annex defines modeling patterns to use the AADL core language for the specification of Integrated Modular Avionics Architectures (IMA), as defined by the ARINC653 standard. It also introduces a dedicated property set to capture specific requirements of such architectures. The third annex, the Code Generation Annex, defines a mapping between the AADL core language and programming languages. It specifies, for each AADL component type, how to map it into executable code. As the AADL language targets safety-critical systems, the annex focuses on defining such a mapping for programming languages that are typically used to implement such systems. However, mapping rules and principles defined in this annex can be translated to other programming languages.
PDF

All of our standards document are available in PDF (Portable Document Format), an electronic, downloadable format.You will be able to download the file in your account downloads.

Multi-User Access

After purchasing, you have the ability to assign each license to a specific user.

Printable

At any time, you are permitted to make printed copies for your and your members' reference use.

SAE AMS6265P

SAE AMS6265P

Steel, Bars, Forgings, and Tubing 1.2Cr - 3.25Ni - 0.12Mo (0.07 - 0.13C) (9310) Vacuum Consumable El..

$41.00 $81.00

SAE AMS3801D

SAE AMS3801D

Cloth, Parachute - Meta-Aramid, Low Modulus (Stabilized: Dec 2016)..

$41.00 $81.00

SAE AMS4221E

SAE AMS4221E

Aluminum Alloy, Plate 4.4Cu - 1.5Mg - 0.60Mn (2124-T8151) Solution Heat Treated, Stress Relieved, an..

$41.00 $81.00

SAE AS4914D

SAE AS4914D

Aircraft Fluorescent Lighting Ballast/Fixture Safety Standard..

$41.00 $81.00