The AADL behaviour annex -- experiments and roadmap
Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-Francois Rolland, David Chemouil, Dave Thomas · 2007
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.