Vérification formelle de conditions d'ordonnancabilité de tâches temps réel périodiques strictes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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]
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⟩
313 View
111 Download

Share

Gmail Facebook Twitter LinkedIn More