tous les documents
  • tous les documents
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
Recherche par géolocalisation
Rechercher :
Entrez un lieu, une adresse, une ville, un pays... :
Distance :  près
Ensemble de recherche :
tous les documents
  • tous les documents
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
Légende :
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.

Consulter le graphe 3D projeté : page 29
Référence :
Inria-0310-272.jpg
Référence :
Inria-0310-272.jpg
Mention obligatoire :
© Inria / Photo S. Erôme - Signatures
Année :
Titre :
Alain Girault
Mots clés :
Lien Centre de Recherche :
Lien Equipe-projet :
Personne à l'image :
Inria-0310-272.jpg

Format : .jpg
31,8 Mo
7947 x 5298 pixels
Fichier original
Inria-0310-272.jpg
Format : .jpg
659 Ko
1024 x 683 pixels
Sélection
Voir Selection
Déposer ici pour retirer de la sélection