The AADL behaviour annex - experiments and roadmap

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: Conference
• Year: 2007
• Where: ICECCS
• Authors: Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas
• Keywords: AADL Behavioural Annex, AADL Execution Model, Evaluation Phase, Hardware, ICECCS 2007