Sites Inria

Conférence scientifique

Soyons lucides, restons synchrones !

Logo - La demi-heure de science Inria de Paris

La demi-heure de science a lieu tous les mois, à partir de 13h45, dans la salle Jacques-Louis Lions au bâtiment C. Un café vous y accueille dès 13h30.

Cette demi-heure a pour but de présenter, à tous les scientifiques du centre, un thème, son intérêt et les questions qui s’y rapportent afin de répondre à l'interrogation « pourquoi mène-t-on des recherches dans ce domaine-là ? »

  • Date : 2/02/2017
  • Lieu : Inria de Paris, bâtiment C, salle Jacques-Louis Lions
  • Intervenant(s) : Marc Pouzet (Parkas)

Prochain rendez-vous le jeudi 5 janvier à 13h45

  • Intervenant :  Marc Pouzet (Parkas)
  • Sujet :  Soyons lucides, restons synchrones !

La programmation synchrone connait un grand succès dans la mise en oeuvre des systèmes embarqués les plus critiques, dans les avions (commande de vol, contrôle moteur, freinage), les trains (contrôle de bord), et les centrales (contrôle et arrêt d’urgence), etc. Plusieurs de ces applications sont développées avec l'environnement SCADE issu des premiers travaux sur le langage Lustre inventé par Paul Caspi et Nicolas Halbwachs dans les années quatre-vingts.

Lustre s'est fondé sur l'idée qu'un langage de programmation spécifique, manipulant des suites infinies, permettrait d'écrire directement et de manière rigoureuse les descriptions mathématiques issues de l'automatique, de les simuler et de les vérifier formellement jusqu'à leur traduction automatique vers du code embarqué exécutable. Cette idée, radicale pour l'époque, est aujourd'hui au cœur des outils industriels les plus utilisés tels que Simulink.

Dans cet exposé, nous reviendrons sur l'origine de Lustre, le lien avec les premiers langages d'équations "float-de-données" à la Lucid et l'intérêt d'avoir choisi une sémantique synchrone. Nous montrerons quelques-unes des directions de recherche récentes menées dans l'équipe PARKAS, en particulier le développement d'un compilateur de Lustre formellement prouvé pour augmenter encore la confiance dans le code généré, et l'extension d'un langage synchrone pour traiter des systèmes combinant temps discret et temps continu.

Mots-clés : Lustre Demi-heure de science Parkas Langages synchrones Sémantique

Haut de page

Suivez Inria