Alain Girault est chercheur au sein de l’équipe-projet SPADES (Programmation de systèmes embarqués sûrs et adaptatifs). Il travaille sur des méthodes formelles pour les systèmes embarqués soumis à des contraintes non fonctionnelles, telles que la vitesse ou le temps de réaction. La contrainte de temps est souvent forte, surtout pour les systèmes en temps réel utilisés par les banques ou la télévision numérique. Les systèmes embarqués sont souvent de petite taille, donc avec une mémoire et une puissance de calcul limitées. À ceci s’ajoutent des contraintes de consommation énergétique, de température et de fiabilité. Alain Girault cherche des méthodes d’optimisation pour prendre en compte ces contraintes non fonctionnelles. Les programmes sont testés pour repérer les bugs, mais certains systèmes embarqués (satellites, voitures, avions …) ne peuvent pas attendre l'installation d'une mise à jour pour corriger un éventuel bug : c'est là que l'optimisation multi-contraintes est indispensable.
A l'image : reflets d'équations et de courbes dans un miroir
|