. Sae, Architecture analysis & design language (AADL), 2004.

C. Guettier and J. Hermant, Static Mapping of Hard Real-Time Applications onto MultiProcessor Architectures using Constraint Logic Programming, ICAPS, 2005.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Scheduling and Memory requirement analysis with AADL, the proceedings of the ACM SIGAda International Conference, vol.25, pp.14-17, 2005.

. Verimag, BIP

F. Associates, Furness Toolset

. Sei, OSATE

C. Sautereau and J. Rosen, ESCADRE V5 / Simulation, Manuel du concepteur, pp.2002-2010

, AADL: Architecture analysis & design language ADL: Architecture description language EPL: Eclipse public license ESA: European Space Agency SEI: Software Engineering Institute (Carnegie Mellon) SOM: System operation mode XML: extensible markup language