Aller au menu Aller au contenu
Innover pour un avenir durable

Institut polytechnique de Grenoble

Grenoble Institute of Engineering
Innover pour un avenir durable

> L'Institut > Actualités

Conférence MidiSciences exceptionnelle "Les systèmes embarqués : une révolution au quotidien " par le prix Turing 2007 Joseph Sifakis

Publié le 24 mars 2010
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo
Conférence

Joseph Sifakis animera une conférence Midisciences exceptionnelle le jeudi 8 avril 2010, de 12h30 à 13h45 dans l’Amphi F, du DLST, 480, avenue centrale sur le domaine universitaire. L’entrée de cette conférence est libre.

Présentation

Les systèmes embarqués, ou systèmes enfouis car placés au coeur de nos appareils de la vie de tous les jours -téléphonie mobile, électroménager, ...- sont des petits systèmes électroniques et informatiques autonomes dédiés à l'accomplissement de tâches très précises. Quelles sont les implications sociétales d'une telle banalisation de ces systèmes embarqués dans notre quotidien ? Comment s'assurer de leur fiabilité ? Ce sont notamment deux des questions qu'abordera Joseph Sifakis, directeur de recherche CNRS et  co-lauréat du prix Turing 2007 (équivalent du prix Nobel pour l'informatique), prix décerné depuis 1966 et pour la première fois à un chercheur français, pour l'élaboration de son protocole d'analyse dit "Model Checking" (vérification de modèle).

Contact :
Isabelle Joncour


A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo

mise à jour le 25 mars 2010

Univ. Grenoble Alpes