tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Titre :
Alain Girault
Légende - Résumé :
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 document projeté : page 27
A l'image : reflets d'équations et de courbes dans un miroir
Nom de fichier :
Inria-0310-296.jpg
Titre :
Alain Girault
Mention obligatoire :
© Inria / Photo S. Erôme - Signatures
Année :
2019
Lien Equipe-projet :
Lien Centre de Recherche :
Type de document :
Reportage recherche
Mots clés :
Inria-0310-296.jpg

Format : .jpg
30,8 Mo
8256 x 5504 pixels
Fichier original
Inria-0310-296.jpg
Format : .jpg
557 Ko
1024 x 683 pixels
Basse définition Web
Sélection
Voir Selection
Déposer ici pour retirer de la sélection