Télécom ParisTech

Laurent Pautet

Professeur

Laurent Pautet

Formation

  • Ingénieur Télécom ParisTech (1989)
  • Doctorat en Informatique et Réseaux de Télécom ParisTech (1994)
  • Habilitation à Diriger des Recherches à l’Université Pierre et Marie Curie (2001)

Enseignement

  • Responsable du parcours de Systèmes Temps Réel Embarqués et plusieurs unités d’enseignement dans le master informatique de l'UPMC ainsi qu’à TélécomParisTech.

Thématiques de recherche

  • Modélisation, Analyse et Synthèse de Systèmes Embarqués Critiques,
  • Transformations de Modèles pour l’Analyse et la Génération Automatique de Code pour Systèmes Temps Réel,
  • Plates-Formes d’exécution pour Systèmes Temps Réel.

Expérience industrielle et Recherche

  • Doctoral en convention CIFRE avec Dassault-Aviation.
  • Nombreuses thèses encadrées avec plusieurs industriels dont THALES.
  • Auteur de 2 brevets.
  • Nombreux projets ANR, FUI, IST ou encore IRT Systèmes Complexes.

Animation scientifique et responsabilités collectives

  • Responsable de la Chaire Systèmes Complexes pour Télécom ParisTech.
  • Responsable du LTCI pour Informatique et Réseaux.
  • Membre de l’association Méthodes Formelles pour Systèmes Logiciels et Matériels.
  • Membre du comité scientifique de nombreuses conférences.

Principaux Résultats scientifiques

  • Jerome Hugues, Bechir Zalila, Laurent Pautet, and Fabrice Kordon. 2008. From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Trans. Embed. Comput. Syst. 7, 4, Article 42 (August 2008), 25 pages.
  • Etienne Borde, Peter H. Feiler, Grégory Haïk, and Laurent Pautet. 2009. Model driven code generation for critical and adaptative embedded systems. SIGBED Rev. 6, 3, Article 10 (October 2009).
  • Michaël Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, and David Faura. 2012. Model driven resource usage simulation for critical embedded systems. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE ‘12). EDA Consortium, San Jose, CA, USA, 312-315.

Education

  • Master degree in engineering from Télécom ParisTech (1989),
  • PhD in Networks and Computer Sciences (1994),
  • Accreditation to Supervise Researches - HDR at University Pierre and Marie Curie (2001)

Teaching

  • In charge of the Master tracks in Distributed Real-Time Embedded Systems in both UPMC and Telecom ParisTech.

Major Research Interest or Current Research Topics

  • Modeling, Analysis and Synthesis of Critical Embedded Systems,
  • Model Trasnformations for Analysis and Automatic Code Generation of Real-Time Systems,
    Execution Platform for Real-Time Systems.

Industrial Experience

  • PhD in collaboration with Dassault-Aviation.
  • Supervision of several PhD thesis in collaboration of industrial partners such as THALES.
  • Authors of 2 patterns.
  • Members of several projects (ANR, FUI, IST and IRT Complex Systems).

Visibility, Membership, Committee

  • In charge of Chaire Complex Systems for Télécom ParisTech
  • In charge of LTCI for Network and Computer Sciences.
  • Member of the French Association on Formal Methods (Méthodes Formelles pour Systèmes Logiciels et Matériels).

Main Scientific Results

  • Jerome Hugues, Bechir Zalila, Laurent Pautet, and Fabrice Kordon. 2008. From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Trans. Embed. Comput. Syst. 7, 4, Article 42 (August 2008), 25 pages.
  • Etienne Borde, Peter H. Feiler, Grégory Haïk, and Laurent Pautet. 2009. Model driven code generation for critical and adaptative embedded systems. SIGBED Rev. 6, 3, Article 10 (October 2009).
  • Michaël Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, and David Faura. 2012. Model driven resource usage simulation for critical embedded systems. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE ‘12). EDA Consortium, San Jose, CA, USA, 312-315.