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 Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
paper_5.pdf (173.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00665929 , version 1

Citer

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⟩
314 Consultations
116 Téléchargements

Partager

Gmail Facebook X LinkedIn More