1 research outputs found
Vérification formelle de conditions d'ordonnancabilité de tâches temps réel périodiques strictes
National audienceNous formalisons en Coq le problème de l'ordonnancement de tâches périodiques strictes non préemptives et prouvons formellement le théorème dû à Jan Korst donnant la condition nécessaire et suffisante pour l'ordonnançabilité de telles tâches