Claire/Eclair© Un environnement de modélisation etde résolution pourdesapplicationsd'optimisation combinatoires embarquées
De nombreux problèmes embarqués d’aide à la décision dans THALES relèvent à la fois de la décision multicritère et de l'optimisation combinatoire. S'il est aujourd'hui indiscutable que la programmation par contraintes (PPC) résout de nombreux problèmes d'optimisation combinatoire, elle est cependant très peu adaptée aux exigences liées à l’embarquabilité. En effet, de tels systèmes doivent fournir, en temps réel, une solution parmi un ensemble d'alternatives possibles, proposant « une bonne décision » compte-tenu des connaissances que le décideur a sur l'état du monde, de ses préférences et de l'objectif à atteindre. C'est pourquoi THALES s'est focalisé, depuis plus de cinq ans, sur les extensions nécessaires à la prise en compte de ces exigences opérationnelles et des cycles de vies de ses systèmes. Les travaux menés ont eu pour objectif de concevoir une technologie permettant de développer de telles fonctions. Notre démarche repose sur 3 hypothèses : 1) La PPC offre des propriétés de génie logiciel importantes à conserver, 2) Le paradigme « anytime » est pertinent pour aborder l'embarquabilité, 3) L'aide à la décision multicritère propose des outils de modélisation des préférences d'un décideur et de comparaison de solutions d'un problème multicritère. Nous présentons ici les spécificités de l'environnement Claire/Eclair© qui capitalise notre démarche.
Optimisation combinatoire, décision multicritère, temps réel, modélisation, résolution, recherche en ligne, programmation par contraintes
Français
|
