Formal approach for a verified implementation of Global EDF in Trampoline
Khaoula Boukir, Jean-Luc Béchennec, Anne‐Marie Déplanche · 2018
The technological progress in embedded system softwares increasingly requires the introduction of multiprocessor/multicore platforms for their considerable capacity and performances. This has introduced a large number of scientific researches in multiprocessor real-time scheduling but most of the results remain theoretical. Some implementations within real time operating systems have been studied, most of which are validated using simulation. However, simulation does not cover all the possible situations and does not take all the target constraints into account. This arises some questions about the confidence in implementing "sophisticated policies" and ensuring that the implemented schedulers behave exactly as they are specified in literature.