Flight Systems are Cyber-Physical Systems, 2012. ,
Sequencing and scheduling: algorithms and complexity, Handbooks in OR & MS, pp.445-521 ,
DOI : 10.1016/s0927-0507(05)80189-6
Theory of modeling and simulation: integrating discrete event and continuous complex dynamic systems, 2000. ,
Prototyping of distributed embedded systems using aadl, p.65, 2009. ,
Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs, 2009 Design, Automation & Test in Europe Conference & Exhibition, pp.346-351, 2009. ,
DOI : 10.1109/DATE.2009.5090686
URL : http://beru.univ-brest.fr/~singhoff/cheddar/contribs/examples_of_use/castere09.pdf
Kernel-level ARINC 653 partitioning for Linux, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1632-1637 ,
DOI : 10.1145/2245276.2232037
How to solve ODEs in real-time HLA distributed simulation, SISO (Simulation Interoperability Standards Organization), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01399161
The levels of conceptual interoperability model, Proceedings of the 2003 fall simulation interoperability workshop, pp.1-11, 2003. ,
DOI : 10.3233/idt-2008-2102
VHDL Designer's Reference, 2012. ,
DOI : 10.1007/978-1-4615-3498-3
Partitioning and mapping communication graphs on a modular reconfigurable parallel architecture, Parallel Processing: CONPAR 92?VAPP V, pp.43-48 ,
DOI : 10.1007/3-540-55895-0_396
URL : http://www.cert.fr/francais/deri/deri/../siron/modulor/conpar92.ps
Real-Time Distributed Aircraft Simulation through HLA, 2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications, pp.251-254, 2012. ,
DOI : 10.1109/DS-RT.2012.45
Certi: Evolutions of the onera rti prototype, Fall Simulation Interoperability Workshop, 2002. ,
The ROSACE case study: From Simulink specification to multi/many-core execution, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp.309-318, 2014. ,
DOI : 10.1109/RTAS.2014.6926012
MultiCore Scheduling Analysis and Simulation ,
Creating computer simulation systems: an introduction to the high level architecture, 2000. ,