tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
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.
Référence :
Inria-0310-260.jpg
Référence :
Inria-0310-260.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-260.jpg

Format : .jpg
26,1 Mo
8256 x 5504 pixels
Fichier original
Inria-0310-260.jpg
Format : .jpg
448 Ko
1024 x 683 pixels
Sélection
Voir Selection
Déposer ici pour retirer de la sélection