J. C. Palencia and M. G. Harbour, Schedulability analysis for tasks with static and dynamic offsets, Real-Time Systems Symposium, pp.26-37, 1998.

S. Fisher and S. Ag, Certifying Applications in a Multi-Core Environment: The World's First Multi-Core Certification to SIL 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, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS), pp.109-119, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01346979

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 (OSPERT'11), 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.

I. Allende and I. T. Centre, Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices, IEEE, p.8, 2019.

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

A. Kritikakou and C. Pagetti, Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems, IEEE, pp.119-128, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01015476

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

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

N. Ishkov, A complete guide to Linux process scheduling, 2015.

J. L. Herman and C. J. Kenna, RTOS Support for Multicore Mixed-Criticality Systems, IEEE, pp.197-208, 2012.

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

A. Blin and C. Courtaud, Understanding the Memory Consumption of the MiBench Embedded Benchmark, Marakech, Morocco: Netys, p.16, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01349421

D. Solet and S. Pillement, HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems, 2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), pp.249-256, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01804096