Requirement specification and model-checking of a real-time scheduler implementation
Khaoula Boukir, Jean-Luc Béchennec, Anne‐Marie Déplanche · 2020
Implementing a new scheduler within a real-time operating system is challenging. The transition from a theoretical scheduling policy specification to a real platform implementation requires several constraints to be taken into account. Therefore, a verification process must support the implementation work to give it a level of confidence and validate its correctness.