This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex
- Aerospace Standard
- AS5506/1A
- Revised
Downloadable datasets available
Annotation ability available
Sector:
Issuing Committee:
Language:
English
Rationale
The purpose of the annexes in this document are:
-
The ARINC653 annex: provide modeling guidelines to specify avionics architectures, as the ones used by the ARINC653 standard. This annex replaces the existing ARINC653 AADL annex published in AS5506/2.
-
The Code Generation Annex: define a binding between the AADL notations and existing programming languages used to develop safety-critical systems (such as Ada and C). This is a new annex to the AADL standard.
-
The Error Model Annex: extend the core language in order to provide the ability to to specify error propagations and error behavior in the architecture. This annex replaces the existing Error-Model annex published in the first revision of AS5506/1.
The other annexes from the existing AS5506/1 document (Graphical AADL Notation, AADL Meta-Model and Interchange Formats, Language Compliance and Application Program Interface) are deprecated and not updated in this new revision.
The Architecture Analysis and Design Language (AADL) standard document AS5506B was prepared by the SAE AS-2C Architecture Description Language Subcommittee, Embedded Computing Systems Committee, Aerospace Avionics Systems Division and revised by SAE in September, 2012. The Annexes presented herein have also been developed under the auspices of the SAE AS-2C Subcommittee.
Data Sets - Support Documents
Title | Description | Download |
---|---|---|
Unnamed Dataset 1 | ||
Unnamed Dataset 2 | ||
Unnamed Dataset 3 | ||
Unnamed Dataset 4 | ||
Unnamed Dataset 5 | ||
Unnamed Dataset 6 | ||
Unnamed Dataset 7 | ||
Unnamed Dataset 8 | ||
Unnamed Dataset 9 | ||
Unnamed Dataset 10 | ||
Unnamed Dataset 11 | ||
Unnamed Dataset 12 | ||
Unnamed Dataset 13 | ||
Unnamed Dataset 14 | ||
Unnamed Dataset 15 | ||
Unnamed Dataset 16 | ||
Unnamed Dataset 17 | ||
Unnamed Dataset 18 | ||
Unnamed Dataset 19 | ||
Unnamed Dataset 20 | ||
Unnamed Dataset 21 |
Issuing Committee
Reference
Number | Title |
---|---|
ARP4761 | GUIDELINES AND METHODS FOR CONDUCTING THE SAFETY ASSESSMENT PROCESS ON CIVIL AIRBORNE SYSTEMS AND EQUIPMENT |
AS5506 | ARCHITECTURE ANALYSIS & DESIGN LANGUAGE (AADL) |
IEEE1003.13 | This document is not part of the subscrption. |
IEEE1003.5b | This document is not part of the subscrption. |
ISO/IEC8652 | This document is not part of the subscrption. |
ISO/IEC9899 | This document is not part of the subscrption. |
ISO/IECTR15942 | This document is not part of the subscrption. |
MIL-HDBK-217F | This document is not part of the subscrption. |
RTCADO-178D | This document is not part of the subscrption. |
RTCADO-254 | This document is not part of the subscrption. |
* Redlines comparisons are available for those standards
listed in the Revision History that contain a radio button. A
redline comparison of the current version against a revision is
accomplished by selecting the radio button next to the standard and
then selecting 'compare'. At this time, Redline versions only exist
for some AMS standards. SAE will continue to add redline versioning
with ongoing updates to SAE MOBILUS.