Abstract
Abstract
The development of critical software has put forward architecture description languages. The aim of these languages is to allow a verification process at the early stages of software development. They cover many aspects like real time, information flow, distribution, execution platforms, ...
The Architecture Analysis and Design Language (AADL)[8] standard was prepared by the SAE AS-2C Architecture Description Language Subcom- mittee, Embedded Computing Systems Committee, Aerospace Avionics Systems Division. The AADL standard is based on MetaH[9], an architecture de- scription language developed at Honeywell Labora- tories under the sponsorship of the US Defense Ad- vanced Research Projects Agency (DARPA) and US Army Aviation and Missile Command (AMCOM). Release 1.0 of the AADL standard (SAE AS5506) has been issued in November 2004.
The AADL is a language used to describe the software and hardware components of a system and the interfaces between those components. The lan- guage can describe functional interfaces of compo- nents, such as data inputs and outputs, and non- functional aspects, such as timing properties. The language can describe how components are combined, such as how data inputs and outputs are connected or how software components are allocated to hard- ware components. More detailed information about this language may be found at: www.aadl.info.