S. Fisher and S. Ag, Certifying Applications in a Multi-Core Environment: The Worlds First Multi-Core Certification to SIL 4, p.4, 2013.

. Autosar, Timing Analysis, p.118, 2016.

P. J. Prisaznuk, ARINC 653 role in Integrated Modular Avionics (IMA), 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, 2008.

C. S. Wong and I. Tan, Towards Achieving Fairness in the Linux Scheduler, SIGOPS Oper. Syst. Rev, vol.42, issue.5, pp.34-43, 2008.

G. Giannopoulou and N. Stoimenov, Scheduling of mixed-criticality applications on resource-sharing multicore systems, ACM International Conference on Embedded Software, p.17, 2013.

B. C. Ward and J. L. Herman, Making Shared Caches More Predictable on Multicore Platforms, IEEE, pp.157-167, 2013.

A. Blin and C. Courtaud, Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System, p.11, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01268078

J. Lozi and F. Gaud, The Linux Scheduler: a Decade of Wasted Cores, p.16, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01295194

J. Lelli and G. Lipari, An efficient and scalable implementation of global EDF in Linux, 7th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT11), 2011.

F. Cerqueira and B. B. Brandenburg, A Comparison of Scheduling Latency in Linux, PREEMPT RT, and LITMUSRT, SYSGO AG, pp.19-29, 2013.

D. J. Brown and B. Martin, How fast is fast enough? Choosing between Xenomai and Linux for real-time applications, Tech. Rep, 2010.

A. Kritikakou, T. Marty, and M. Roy, DYNASCORE: DYNAmic Software COntroller to Increase REsource Utilization in Mixed-Critical Systems, ACM Transactions on Design Automation of Electronic Systems, vol.23, issue.2, pp.1-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01559696

R. Wilhelm and T. Mitra, The worst-case execution-time problemoverview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-53, 2008.

P. Gerum, Xenomai -Implementing a RTOS emulation framework on GNU/Linux, Xenomai, Tech. Rep, 2004.

M. R. Guthaus and J. S. Ringenberg, MiBench: A free, commercially representative embedded benchmark suite, p.12, 2001.