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.
Domaines
Langage de programmation [cs.PL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...