Skip to Main content Skip to Navigation
Conference papers

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

Daniel de Rauglaudre 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00665929
Contributor : Alain Monteil <>
Submitted on : Friday, February 3, 2012 - 11:23:12 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Friday, May 4, 2012 - 2:25:52 AM

File

paper_5.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00665929, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

456

Files downloads

147