The AADL behaviour annex -- experiments and roadmap

Abstract : 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.
Type de document :
Communication dans un congrès
International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, 2007, 〈10.1109/ICECCS.2007.41〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00784976
Contributeur : David Chemouil <>
Soumis le : mardi 5 février 2013 - 09:36:39
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02

Identifiants

Collections

Citation

Ricardo Bedin França, Jean-Paul Bodeveix, David Chemouil, Mamoun 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, 2007, 〈10.1109/ICECCS.2007.41〉. 〈hal-00784976〉

Partager

Métriques

Consultations de la notice

124