AADL is now a well established architecture description language that allows system designer to model their architectures solutions
and perform various verifications from their models.
To efficiently use AADL and its analysis tools, users need high skills about AADL and also about the analysis and code generators tools they expect to apply.
This may be difficult actually, mastering the language (i.e. AADL) is not enought as at least:
- Each code generators or analysis tools may required specific data. Then it may be difficult to be sure that a given model contains all required data.
- Once an analysis tools is ran, it may be difficult to understand the analysis results and what we can do with them.
The objectives of the AADL Cook Book is then to give to AADL beginners simple architecture solutions that can be
seen as AADL design patterns and with the explanations to shows how
several AADL tools can be used with them. A special attention is given to tool-chains: AADL provides the ability to
connect various tools, and the examples presented here try to emphaze such ability.
You are volonter to contribute to this cook book?
Let us know! Any help is welcome :-)
The AADL Cook Book is designed as a set of questions. Each addresses a typical problem to model, analyze or implement.
Each question is presented by:
- Description of the systems to model.
- Description of typical AADL architecture solution to address the problem, i.e. a kind of design model that can be applied elsewhere.
- Discussion about analysis allowed by the solution with AADL tools.
- Case studies to illustrate the typical problem/solution addressed by the question.
Actually, each question is a kind of recipe to a classic probleme.
Currently, the AADL Cook book is composed about 15 recipes, the 3 first are AADL beginners while
the next required to have small experience in AADL.
Ok, let start
with the recipes.
Dominique Blouin, Telecom-Paris-Tech
Etienne Borde, Telecom-Paris-Tech
Pierre Dissaux, Ellidiss Tech
Jerome Hugues, SEI/CMU
Alexey Khoroshilov, ISPRAS
Brian Larson, Kansas state Univ.
Stephane Rubini, Lab-STICC/Univ. of Brest
Frank Singhoff, Lab-STICC/Univ. of Brest
Nam Tran Hai, Lab-STICC/Univ. of Brest