Vérification formelle de conditions d'ordonnancabilité de tâches temps réel périodiques strictes
Abstract
Nous 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.
Domains
Other [cs.OH]
Origin : Files produced by the author(s)
Loading...