The AADL behaviour annex -- experiments and roadmap - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

The AADL behaviour annex -- experiments and roadmap

Résumé

In this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the reengineering of a flight software. This experiments has led us to introduce hierarchical aspects and study the link especially with AADL modes. We discuss about the definition of a semantics for the AADL execution model and propose some enhancements.
Fichier non déposé

Dates et versions

hal-00784976 , version 1 (05-02-2013)

Identifiants

Citer

Ricardo Bedin França, Jean-Paul Bodeveix, David Chemouil, M Filali, Jean-François Rolland, et al.. The AADL behaviour annex -- experiments and roadmap. International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩. ⟨hal-00784976⟩
129 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More