Industry Initiatives and AADL

Initiative Name

Description of Initiative

Description of Project

ARTIST/ARTIST2

Network of Excellence on Embedded Systems Design

Sponsored the International UML/AADL workshop series

ASSERT

Group funded by the European Commission (EC)

Engaged in a study of a proof-based engineering approach; carrying out pilot projects on requirements from existing (ATV, Proteus) and for future missions (Aurora and GMES)

AVSI (pdf, 667 kb)

Aerospace Vehicle Systems Institute

Has begun a pilot project called Software System Integration Validation (SSIV) to demonstrate model-based validation through architecture models on an actual system. This project includes the use of AADL to improve the certification process of increasingly software-intensive aircraft systems.

COTRE

Avionics group led by Airbus in France

Chose AADL for its ability to combine static and dynamic architecture description in a single model, reducing the number of models to be valdiated

ESA

European Space Agency

Chose AADL in a study of satellite architecture, as part of an effort to reduce the system time-to-market and operational cost through proof-based engineering from a validated system family architecture

SPICES

Support for Predictable Integration of mission Critical Embedded Systems

Focuses on a model-based approach for mission-critical embedded systems, with AADL as a key technology to model the runtime architecture

TOPCASED

The Toolkit In OPen source for Critical Applications & SystEms Development

Aims to provide a tool chain infrastructure for embedded systems engineering, including AADL