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 fondateur du laboratoire Verimag (CNRS/INP/UJF) à Grenoble, 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).

Jeudi 8 avril 2010 de 12h30 à 13h45, Amphi F, du DLST, Domaine Universitaire – Saint Martin d’Hères, entrée libre.