Behavioural descriptions in architecture description languages Application to AADL

Jean-Paul Bodeveix (1, 2) , P Dissaux (3) , M Filali (1, 4) , P Farail (5) , P Gaufillet (5) , François Vernadat (6)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 UT3 - Université Toulouse III - Paul Sabatier
3 TNI
4 CNRS - Centre National de la Recherche Scientifique
5 Airbus [France]
6 LAAS-VERTICS - Équipe Verification de Systèmes Temporisés Critiques

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, ...

Mots clés: description languages; AADL

Domaines: Systèmes embarqués

Jean-Paul Bodeveix, P Dissaux, M Filali, P Farail, P Gaufillet, et al.. Behavioural descriptions in architecture description languages Application to AADL. 3rd European Congress on Embedded Real Time Software (ERTS 2006), Jan 2006, Toulouse, France. ⟨hal-02270356⟩