This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
ARCHITECTURE ANALYSIS & DESIGN LANGUAGE (AADL)
- Aerospace Standard
- AS5506
- Issued
Downloadable datasets available
Annotation ability available
Sector:
Issuing Committee:
Language:
English
Scope
This standard defines a language for describing both the software architecture and the execution platform architectures of performance-critical, embedded, real-time systems; the language is known as the SAE Architecture Analysis & Design Language (AADL). An architecture model defined in AADL describes the properties and interfaces of components. Components fall into two major categories: those that represent the execution platform and those representing the application. The former is typified by processors, buses, and memory, the latter by application software modules. The model describes how these components interact and are integrated to form complete systems. It describes both functional interfaces and aspects critical for performance of individual components and assemblies of components. The changes to the runtime architecture are modeled as operational modes and mode transitions.
The language is applicable to systems that are:
-
real-time,
-
resource-constrained,
-
safety-critical systems,
-
and those that may include specialized device hardware.
This standard defines the core AADL that is designed to be extensible. While the core language provides a number of modeling concepts with precise semantics including the mapping to execution platforms and the specification of execution time behavior, it is not possible to foresee all possible architecture analyses. Extensions to accommodate new analyses and unique hardware attributes take the form of new properties and analysis specific notations that can be associated with components. Users or tool vendors may define extension sets. Extension sets may be proposed for inclusion in this standard. Such extensions will be defined as part of a new Annex appended to the standard.
This standard does not specify how the detailed design or implementation details of software and hardware components are to be specified. Those details can be specified by a variety of software programming and hardware description languages. The standard specifies relevant characteristics of the detailed design and implementation descriptions, such as source text written in a programming language or hardware description language, from an external (black box) perspective. These relevant characteristics are specified as AADL component properties, and as rules of conformance between the properties and the described components.
This standard does not prescribe any particular system integration technologies, such as operating system or middleware application program interfaces or bus technologies or topologies. However, specific system architecture topologies, such as the ARINC 653 RTOS, can be modeled through software and execution platform components. The AADL can be used to describe a variety of hardware architectures and software infrastructures. Integration technologies can be used to implement a specified system. The standard specifies rules of conformance between AADL system architecture specifications and physical systems implemented from those specifications.
The standard was not designed around a particular set of tools. It is anticipated that systems and software tools will be provided to support the use of the AADL.
Recommended Content
| Technical Paper | Model-Based Systems Engineering for the Design and Development of Complex Aerospace Systems |
| Technical Paper | Forward Swept Wings and Business Airplanes |
Topic
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 | ||
| Unnamed Dataset 22 | ||
| Unnamed Dataset 23 | ||
| Unnamed Dataset 24 |
Issuing Committee
Reference
| Number | Title |
|---|---|
| IEEE/ANSI610.12 | This document is not part of the subscrption. |
| ISO/IEC14519 | 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/IEC9945-1 | 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.