SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: ARINC653 Annex, Annex C: Code Generation Annex, Annex E: Error Model Annex

Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

10-10-2025

Publisher

SAE International

€183.00

Excluding VAT

1. SCOPE
2. REFERENCES
ANNEX A - ARINC653 ANNEX
ANNEX C - CODE GENERATION ANNEX
ANNEX E - ERROR MODEL ANNEX

This document contains three annexes to the SAE AS5506B Standard - the SAE Architecture Analysis and Description Language.

SAE AS5506C

Architecture Analysis & Design Language (AADL)

SAE ARP4754A	Guidelines for Development of Civil Aircraft and Systems
ISO/IEC/IEEE 24765:2017	Systems and software engineering — Vocabulary
ISO/IEC TR 15942:2000	Information technology — Programming languages — Guide for the use of the Ada programming language in high integrity systems
SAE ARP4761	GUIDELINES AND METHODS FOR CONDUCTING THE SAFETY ASSESSMENT PROCESS ON CIVIL AIRBORNE SYSTEMS AND EQUIPMENT
SAE AS5506C	Architecture Analysis & Design Language (AADL)
MIL-HDBK-217 Revision F:1991	Reliability Prediction of Electronic Equipment
MIL-STD-882 Revision E:2012	System Safety
ISO/IEC 9899:2011	Information technology — Programming languages — C
ISO/IEC 8652:2012	Information technology — Programming languages — Ada
IEEE/Open Group 1003.1, 2013 Edition	IEEE Standard for Information Technology—Portable Operating System Interface (POSIX(TM)) Base Specifications, Issue 7
ARINC 653-3 : 2006	AVIONICS APPLICATION SOFTWARE STANDARD INTERFACE - PART 3: CONFORMITY TEST SPECIFICATION

Summarise

ChatGPT Perplexity

Access your standards online with a subscription

€183.00

Excluding VAT

Product format

I agree to the DRM document license rules apply against the PDF selection made.

Please confirm that you agree to the document license rules for this document.

I agree to the document license rules .

Please confirm that you agree to the document license rules for this document.

SAE AS5506/1A