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, 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.
Type de document :
Communication dans un congrès
JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France. 2012
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00665929
Contributeur : Alain Monteil <>
Soumis le : vendredi 3 février 2012 - 11:23:12
Dernière modification le : mardi 17 avril 2018 - 11:29:36
Document(s) archivé(s) le : vendredi 4 mai 2012 - 02:25:52

Fichier

paper_5.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 2012. 〈hal-00665929〉

Partager

Métriques

Consultations de la notice

260

Téléchargements de fichiers

114