Certifying Applications in a Multi-Core Environment: The Worlds First Multi-Core Certification to SIL 4, p.4, 2013. ,
Timing Analysis, p.118, 2016. ,
ARINC 653 role in Integrated Modular Avionics (IMA), 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, 2008. ,
Towards Achieving Fairness in the Linux Scheduler, SIGOPS Oper. Syst. Rev, vol.42, issue.5, pp.34-43, 2008. ,
Scheduling of mixed-criticality applications on resource-sharing multicore systems, ACM International Conference on Embedded Software, p.17, 2013. ,
Making Shared Caches More Predictable on Multicore Platforms, IEEE, pp.157-167, 2013. ,
Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System, p.11, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01268078
The Linux Scheduler: a Decade of Wasted Cores, p.16, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01295194
An efficient and scalable implementation of global EDF in Linux, 7th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT11), 2011. ,
A Comparison of Scheduling Latency in Linux, PREEMPT RT, and LITMUSRT, SYSGO AG, pp.19-29, 2013. ,
How fast is fast enough? Choosing between Xenomai and Linux for real-time applications, Tech. Rep, 2010. ,
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
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. ,
Xenomai -Implementing a RTOS emulation framework on GNU/Linux, Xenomai, Tech. Rep, 2004. ,
MiBench: A free, commercially representative embedded benchmark suite, p.12, 2001. ,