 |
 |
 |
 |
|
|
|
|
| HAL : hal-00448532, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Principles and Practice of Constraint Programming (CP 2004), Toronto, Canada : Canada (2004) |
|
|
|
|
| Decomposition and learning for a real time task allocation problem |
|
|
| Hadrien Cambazard 1Pierre-Emmanuel Hladik |
|
|
| (2004) |
|
|
|
| We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in the context of fixed priorities preemptive scheduling. The problem is to be solved off-line and our solving strategy is related to the logic based Benders decomposition. A master problem is solved using constraint programming whereas subproblems are solved with schedulability analysis techniques coupled with an ad hoc nogood computation algorithm. Constraints and nogoods are learnt during the process and play a role close to Benders cuts. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Intelligence artificielle |
| hal-00448532, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00448532 | |
| oai:hal.archives-ouvertes.fr:hal-00448532 | |
| Contributeur : Contraintes Lina | |
| Déposé pour le compte de : | |
| Soumis le : Mardi 19 Janvier 2010, 12:27:11 | |
| Dernière modification le : Mardi 19 Janvier 2010, 12:27:11 | |
