Vérification formelle de conditions d'ordonnancabilité de tâches temps réel périodiques strictes - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Vérification formelle de conditions d'ordonnancabilité de tâches temps réel périodiques strictes

(1)
1

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.
Fichier principal
Vignette du fichier
paper_5.pdf (173.09 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00665929 , version 1 (03-02-2012)

Identifiers

  • HAL Id : hal-00665929 , version 1

Cite

Daniel de Rauglaudre. Vérification formelle de conditions d'ordonnancabilité de tâches temps réel périodiques strictes. JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. ⟨hal-00665929⟩
306 View
107 Download

Share

Gmail Facebook Twitter LinkedIn More