Publications de
Jean-François Rolland, Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Dave Thomas
Towards a formal semantics for AADL execution model
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, SIA/3AF/SEE, (support électronique), janvier 2008.
Ricardo Bedin Franca, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas
The AADL behaviour annex — experiments and roadmap
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand, 11/07/07-14/07/07, IEEE Computer Society, p. 377-382, 2007.
David Chemouil, Dave Thomas, Jean-François Rolland
Using AADL in an existing developement process for satellite flight software
Dans : 1st Workshop “UML and AADL”, ENST Paris, 09/10/06-09/10/06.