Séminaire algopt, LIX, 25 avril 2008 à 10 h 30. 
 

Titre : Optimisation combinatoire pour les systèmes temps réel embarqués

Présentateur : Renaud Sirdey (renaud.sirdey@cea.fr)

Affiliation : CEA LIST 

Résumé :

L’objet de ce séminaire est de donner un aperçu, au travers d’une sélection d’exemples, des problèmes d’optimisation combinatoire rencontrés dans le cadre de la conception de systèmes temps réel embarqués critiques sur le plan de la sûreté (type contrôle-commande des réacteurs nucléaires) ou très haute performance (type systèmes sur puce massivement multicœurs). 

En particulier, nous verrons comment les méthodes issues de la recherche opérationnelle s’intègrent dans la chaîne de compilation pour de tels systèmes notamment à des fins de dimensionnement, de vérification de propriétés ainsi que d’exploitation efficace des ressources. 

Ces activités de recherche sont menées au sein du Laboratoire fondements des Systèmes Temps Réel Embarqués (LaSTRE), un laboratoire du CEA LIST. 
 

Title: Combinatorial optimization for embedded real-time systems

Speaker: Renaud Sirdey (renaud.sirdey@cea.fr)

Affiliation: CEA LIST 

Summary:

The purpose of this talk is to illustrate the kind of combinatorial optimization problems encountered in the design of embedded real-time systems, from safety-critical ones (such as nuclear reactors command and control systems) to very high performance ones (such as massively parallel systems on chip). This will be done via a representative selection of examples. 

In particular, we will focus on how operations research techniques integrate in the compilation chain for such systems in the context of system dimensioning, property verification as well as efficient resource allocation. 

These research activities are carried out within the Embedded Real Time System foundations Laboratory (LaSTRE), a laboratory which belongs to the CEA LIST.