Schedulability analysis for tasks with static and dynamic offsets, Real-Time Systems Symposium, pp.26-37, 1998. ,
Certifying Applications in a Multi-Core Environment: The World's First Multi-Core Certification to SIL 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, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS), pp.109-119, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01346979
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 (OSPERT'11), 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. ,
Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices, IEEE, p.8, 2019. ,
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. ,
Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems, IEEE, pp.119-128, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01015476
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
Xenomai -Implementing a RTOS emulation framework on GNU/Linux, Xenomai, Tech. Rep, 2004. ,
A complete guide to Linux process scheduling, 2015. ,
RTOS Support for Multicore Mixed-Criticality Systems, IEEE, pp.197-208, 2012. ,
MiBench: A free, commercially representative embedded benchmark suite, p.12, 2001. ,
Understanding the Memory Consumption of the MiBench Embedded Benchmark, Marakech, Morocco: Netys, p.16, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01349421
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