Architecture analysis & design language (AADL), 2004. ,
Static Mapping of Hard Real-Time Applications onto MultiProcessor Architectures using Constraint Logic Programming, ICAPS, 2005. ,
Scheduling and Memory requirement analysis with AADL, the proceedings of the ACM SIGAda International Conference, vol.25, pp.14-17, 2005. ,
BIP ,
, Furness Toolset
OSATE ,
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