tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Code HTML Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
Titre :
Prix de l'innovation Inria / Académie des sciences / Dassault Systèmes 2016 : Marc Pouzet
Légende - Résumé :
Récompensé par le Prix de l’Innovation Inria - Académie des sciences - Dassault Systèmes, Marc Pouzet est un spécialiste des langages synchrones. Ses recherches portent sur la conception, la sémantique et l’implémentation de langages de programmation pour mettre en œuvre des systèmes embarqués. Ses travaux ont notamment permis le développement de SCADE KCG 6, langage et environnement utilisés pour réaliser les logiciels critiques dans les avions et les trains
Nom de fichier :
Inria-1018-PrixInnovation2016_Marc_Pouzet.mp4
Titre :
Prix de l'innovation Inria / Académie des sciences / Dassault Systèmes 2016 : Marc Pouzet
Année :
2016
Durée (min) :
00:02:47
Publications :
https://videotheque.inria.fr/videotheque/doc/1018
Autres versions :
Master VF : 1018
Master VEN :
Autre : Lien externe :
Lien Equipe-projet :
Lien Centre de Recherche :
Mots clés :
N° master :
1018
Durée :
02 min 47 sec
IsyTag :
80 - c' - d' - idée - jean-louis - langages - Pouzet - problème - recherche - synchrones - Y'
Transcription automatiqu :
Je suis Marc Pouzet je suis professeur à l'UPMC à l'Ecole normale supérieure Je m'intéresse depuis une vingtaine d'années maintenant aux langages de programmation synchrones qui sont des langages qui ont été inventés dans les années 80 pour programmer des systèmes réactifs embarqués J'ai été contacté par Jean-Louis Colaço qui développait à l'époque le compilateur certifié l'outil Scade qui est la version industrielle de Lustre et qui servait déjà à ce moment-là à programmer les commandes de vol des Airbus Et puis on a travaillé ensemble et puis de façon de en plus étroite il présentait ses problèmes j'essayais de donner des solutions je posais mes problèmes et il trouvait des solutions et donc il y avait une sorte de d'échange entre nous alors qu'il était ingénieur et moi j'étais enseignant chercheur En même temps qu'on proposait des idées en même temps qu'on les publiait qu'on les expliquait c'est-à-dire que finalement on suivait les canons de la recherche classique on faisait des protos on essayait mettre à l'épreuve nos idées Et puis ça c'était très très utile pour convaincre Parce que les gens pouvaient avoir un avis finalement à la fin Et donc la société Esterel Technologies a dit ok on va faire un produit de ces idées parce que on a toujours essayé de faire un beau langage on cherchait à résoudre des problèmes assez appliqués mais on essayait quand même de suivre on voulait que ce soit beau quoi Moi je fais de la recherche à la paillasse je suis assis je programme Y'a un jeune qui vient travailler avec moi c'est c'est vraiment old-fashioned comme manière de faire Je pense que en fait dans la recherche il y a cet aspect humain évidement les idées ça compte beaucoup mais y'a un travail à plusieurs collaboratif même s'il a beaucoup de choses qui sont très individuelles très personnelles il y a une sorte d'émulation collective qui peut être extrêmement féconde je dois beaucoup aux étudiants que j'ai eu la chance d'encadrer Le grand saut pour moi ça a été d'aller à Grenoble et aussi la rencontre avec avec Paul Caspi Le travail avec lui où j'ai découvert la programmation synchrone J'ai eu une année à Grenoble vraiment extraordinaire parce que j'étais à la fois dans un cadre idéal pour moi et le sujet me passionnait au point de finalement décider que je ferais ça
Inria-1018-PrixInnovatio_HD.MP4

Format : .mp4
102,3 Mo
1024 x 576 pixels
Moyenne définition - équivalent DVD
Encodage PAL .MP4 H264
5 Mbits/s
Sélection
Voir Selection
Déposer ici pour retirer de la sélection