T. Goubier, R. Sirdey, S. Louise, and V. David, ?C: a programming model and language for embedded manycores, in: Proceedings of the 11th international conference on Algorithms and architectures for parallel processing -Volume Part I, pp.385-394, 2011.

C. Aussaguès and V. David, A method and a technique to model and ensure timeliness in safety critical real-time systems, Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193), pp.2-12, 1998.
DOI : 10.1109/ICECCS.1998.706651

S. Brosky and S. Rotolo, Shielded processors: guaranteeing sub-millisecond response in standard Linux, Proceedings International Parallel and Distributed Processing Symposium, pp.120-121, 2003.
DOI : 10.1109/IPDPS.2003.1213237

E. Piel, P. Marquet, J. Soula, and J. Dekeyser, Asymmetric Scheduling and Load Balancing for Real-Time on Linux SMP, Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics, PPAM'05, pp.896-903, 2006.
DOI : 10.1007/11752578_108

S. Vestal, Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), pp.239-243, 2007.
DOI : 10.1109/RTSS.2007.47

S. Banachowski, T. Bisson, and S. Brandt, Integrating Best-Effort Scheduling into a Real-Time System, 25th IEEE International Real-Time Systems Symposium, pp.139-150, 2004.
DOI : 10.1109/REAL.2004.26

S. Brandt, S. Banachowski, C. Lin, and T. Bisson, Dynamic integrated scheduling of hard real-time, soft real-time, and non-real-time processes, Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748), pp.396-407, 2003.
DOI : 10.1109/REAL.2003.1253287

J. Herman, C. Kenna, M. Mollison, J. Anderson, and D. Johnson, RTOS Support for Multicore Mixed-Criticality Systems, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, pp.2012-2030
DOI : 10.1109/RTAS.2012.24

J. Calandrino, H. Leontyev, A. Block, U. Devi, and J. Anderson, Litmus?rtLitmus?rt: A testbed for empirically comparing real-time multiprocessor schedulers, Real-Time Systems Symposium, 2006. RTSS'06. 27th IEEE International, pp.111-126, 2006.

J. Kiszka, Towards Linux as a real-time hypervisor, in: 11th Real-Time Linux Workshop, pp.28-30, 2009.

J. Zhang, K. Chen, B. Zuo, R. Ma, Y. Dong et al., Performance analysis towards a kvm-based embedded real-time virtualization architecture, Computer Sciences and Convergence Information Technology (ICCIT) 5th International Conference on, pp.421-426, 2010.

M. Lee, A. Krishnakumar, P. Krishnan, N. Singh, and S. Yajnik, Supporting soft real-time tasks in the xen hypervisor, Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, VEE '10, pp.97-108, 2010.
DOI : 10.1145/1735997.1736012

J. Lee, S. Xi, S. Chen, L. Phan, C. Gill et al., Realizing Compositional Scheduling through Virtualization, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, pp.2012-2030
DOI : 10.1109/RTAS.2012.20

V. Legout and M. Lemerre, Paravirtualizing Linux in a real-time hypervisor, ACM SIGBED Review, vol.9, issue.2, pp.33-37, 2012.
DOI : 10.1145/2318836.2318842

URL : https://hal.archives-ouvertes.fr/cea-00713561

G. Kahn, The semantics of a simple language for parallel programming Information processing, pp.471-475, 1974.

E. A. Lee and T. Parks, Dataflow process networks Proceedings of the IEEE, pp.773-799, 1995.

R. L. Bilsen, M. Engels, and J. A. Peperstraete, Cycle-static dataflow, Cyclo-static data flow, pp.397-408, 1996.
DOI : 10.1109/78.485935

J. T. Buck and E. A. Lee, Scheduling dynamic dataflow graphs with bounded memory using the token flow model, IEEE International Conference on Acoustics Speech and Signal Processing, 1993.
DOI : 10.1109/ICASSP.1993.319147

K. Denolf, M. Bekooij, J. Cockx, D. Verkest, and H. , Exploiting the Expressiveness of Cyclo-Static Dataflow to Model Multimedia Implementations, EURASIP Journal on Advances in Signal Processing, vol.2003, issue.6, p.84078, 2007.
DOI : 10.1155/S1110865703212130

P. Dubrulle, S. Louise, R. Sirdey, and V. David, A low-overhead dedicated execution support for stream applications on shared-memory cmp, Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '12, pp.143-152
DOI : 10.1145/2380356.2380383

C. Liu and J. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

U. Devi and J. Anderson, Tardiness bounds under global EDF scheduling on??a??multiprocessor, Real-Time Systems, vol.84, issue.2, pp.133-189, 2008.
DOI : 10.1016/j.jcss.2006.03.001

M. Herlihy and N. Shavit, The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, 2008.
DOI : 10.1145/1146381.1146382

A. Natarajan, L. Savoie, and N. , Brief Announcement: Concurrent Wait-Free Red-Black Trees, Distributed Computing, pp.421-422, 2012.
DOI : 10.1007/978-3-642-33651-5_38

L. Lamport, Concurrent reading and writing of clocks, ACM Transactions on Computer Systems, vol.8, issue.4, pp.305-310, 1990.
DOI : 10.1145/128733.128736

, CHAPI Project -Embedded High Performance Computing for Industrial Applications

M. Lemerre, E. Ohayon, D. Chabrol, M. Jan, and M. Jacques, Method and Tools for Mixed-Criticality Real-Time Applications within PharOS, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pp.41-48, 2011.
DOI : 10.1109/ISORCW.2011.15