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.

Consulter le document projeté : page 27
A l'image : reflets d'équations et de courbes dans un miroir
Référence :
Inria-0310-318.jpg
Référence :
Inria-0310-318.jpg
Mention obligatoire :
© Inria / Photo S. Erôme - Signatures
Année :
Titre :
Illustration - équations
Mots clés :
Lien Centre de Recherche :
Lien Equipe-projet :
Inria-0310-318.jpg

Format : .jpg
29,8 Mo
5504 x 8256 pixels
Fichier original
Inria-0310-318.jpg
Format : .jpg
498 Ko
683 x 1024 pixels
Sélection
Voir Selection
Déposer ici pour retirer de la sélection