[fr] [en]
The SAE Architecture Analysis & Design Language (AADL) is a textual and graphical language used to design and analyze the software and hardware architecture of performance-critical real-time systems. Performance-critical systems are systems whose operation strongly depends on meeting non- functional system requirements such as reliability, availability, timing, responsiveness, throughput, safety, and security. The language is used to describe the structure of such systems as an assembly of software components mapped onto an execution platform. The language can describe functional interfaces to components (such as data inputs and outputs) and performance- critical aspects of components (such as timing). The language can describe how components interact, such as how data inputs and outputs are connected or how application software components are allocated to execution platform components. The language can also describe the dynamic behavior of the runtime architecture by supporting the modeling concept of operational modes and mode transitions. The language is designed to be extensible to accommodate analyses of the runtime architectures that the core language does not completely support. Extensions can take the form of new properties and analysis specific notations that can be associated with components.
This workshop has several complementary objectives. The first one is to introduce the AADL approach to people who deal with with embedded real-time system development (Project managers, system and software designers, software developers, etc). This may be of high interest in various application domains for which a "modular avionics" like approach can be appropriate, namely: aeronautics, space, automotive applications, railways, nuclear industry, etc.
Since November 2004 a first standardised version of AADL exist, and several large projects based on the use of AADL are currently led, notably in Europe. The second objective of this workshop is to share the experience coming from these projects, and collect feedbacks to guide the future of AADL.
This workshop will be organised on two separated phases, as described below:
This tutorial presents the AADL language. It is intended both for people who want to have an overview of AADL and its capabilities, and for people which are already involved in AADL projects and who want to know the future of this language.
This tutorial will be given by peoples who are actually the leaders of the AADL definition.
Many projects have been conducted, are currently led or are planned to assess AADL and its use in industrial projects. This second day is dedicated to the presentation of some of these experiments.
This phase of the workshop is dedicated to people who have a good knowledge of the embedded system engineering and/or a good knowledge of AADL.
The agenda was the following.
Day 1 (2005-10-17): AADL tutorial
| Day 1 | Subject | by |
|---|---|---|
| 9:00 | Welcome | Thierry Billoir (Axlog) |
| AADL presentation | ||
| 9:05 | AADL concepts | Bruce Lewis (AMCOM) |
| 10:00 | coffee break | |
| 10:30 | Overview of AADL syntax | Jean-Pierre Rosen (Axlog/Adalog) |
| 12:30 | lunch | |
| Use of AADL | ||
| 14:00 | AADL for analysis | Peter Feiler (SEI) |
| 15:00 | Open Source AADL Tool Environment (OSATE) | Peter Feiler |
| 16:00 | coffee break | |
| Standard annexes | ||
| 16:30 | AADL meta model & XML/XMI | Peter Feiler |
| 17:00 | Programming Language Guidelines | Joyce Tokar (Pyrrhus Software) |
| 17:30 | open discussion | |
| 18:00 | end of the first day |
Day 2 (2005-10-18): AADL tools and projects
| Day 2 | Subject | by |
|---|---|---|
| 9:00 | Welcome | |
| European project session | ||
| 9:00 | AADL-modelling of the Plug&Play Weapon System Architecture | André Windisch (EADS Military Aircraft) |
| 9:30 | The ASSERT project | Éric Conquet |
| 10:00 | Proof-Based System Engineering with AADL | Jean-François Tilman (Axlog) |
| 10:30 | coffee break | |
| US project session | ||
| 11:00 | Methods and Tools for Embedded Distributed System Scheduling and Schedulability Analysis | Steve Vestal (Honeywell) |
| 11:30 | The Montana Toolset: OSATE Plugins for Analysis and Code Generation | Oleg Sokolsky (University of Pennsylvania) |
| 12:00 | Analyzable and Reconfigurable AADL Specifications for IMA System Integration | Peter Feiler (SEI) |
| 12:30 | lunch | |
| Tool session | ||
| 14:00 | Stood and the AADL | Pierre Dissaux (TNI-Europe) |
| 14:30 | The Ocarina tool suite | Thomas Vergnaud (ENST) |
| 15:00 | TOPCASED | Pierre Gaufillet (Airbus) |
| 15:30 | coffee break | |
| Annex session | ||
| 16:00 | Behaviour annex (Cotre) | Pierre Gaufillet |
| 16:30 | An Overview of the AADL Error Model Annex | Steve Vestal |
| 17:00 | Dependability modelling using AADL and the Error Model Annex | Ana Elena Rugina (LAAS) |
| 17:30 | open discussion | |
| 18:00 | end of the second day |
| Axlog ingénierie 19-21, rue du 8 mai 1945 94110, Arcueil, France | |
| phone | [+33] 1 41 24 31 00 |
| fax | [+33] 1 41 24 07 36 |
| aadl@axlog.fr |