Une contrainte globale pour l'ordonnançabilité des tâches temps réel dur

Résumé : Résoudre des problèmes de placement de tâches temps réel est un challenge pour les communautés issues de la recherche opérationnelle et de la programmation par contraintes (ppc). La difficulté principale de tels problèmes réside dans la prise en considération des contraintes temporelles spécifiques aux systèmes temps réel. Ces contraintes sont difficilement exprimables pour un solveur et méritent donc un traitement particulier. Dans cet article, nous proposons une approche novatrice qui introduit ces aspects temporels par le biais d'une contrainte globale et donc directement dans les mécanismes de la ppc. Nous finalisons l'étude en montrant à travers de nombreuses expérimentations que cette méthode est viable et efficace.
Type de document :
Communication dans un congrès
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, 2007, JFPC07
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00151238
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 1 juin 2007 - 19:06:51
Dernière modification le : lundi 16 juillet 2018 - 10:10:28
Document(s) archivé(s) le : vendredi 21 septembre 2012 - 16:06:23

Fichier

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

Identifiants

  • HAL Id : inria-00151238, version 1

Citation

Hadrien Cambazard, Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Narendra Jussien. Une contrainte globale pour l'ordonnançabilité des tâches temps réel dur. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France, 2007, JFPC07. 〈inria-00151238〉

Partager

Métriques

Consultations de la notice

403

Téléchargements de fichiers

73