Télécom ParisTech

Ludovic Apvrille

Maître de conférences

Ludovic Apvrille

Formation

  • Ingénieur ENSEIRB (1997)
  • Mastère recherche ENSEEIHT/ENSICA (1998)
  • Thèse Institut National Polytechnique de Toulouse (2002)
  • Habilitation à Diriger les Recherches, Université Nice Sophia-Antipolis (2012)

Enseignement

  • Systèmes d’exploitation
  • Conception des systèmes embarqués avec UML

Thématiques de recherche

  • Conception orientée modèles de systèmes embarqués complexes
  • Méthodes et modèles pour l’analyse de sécurité des systèmes complexes
  • Preuve formelle de sureté de fonctionnement et de sécurité

Expérience industrielle et Recherche Contractuelle

  • Expérience en tant qu’ingénieur de recherche chez Thales Alenia Space.
  • Quinze ans d’expérience dans le montage et la participation à des projets nationaux,
    européens, ou bilatéraux avec des industriels dans le secteur des plateforme mobiles,
    des télécommunication spatiales, et des environnements embarqués automobiles.

Animation scientifique et responsabilités collectives

  • Membre de l’association Sophia-Antipolis Microelectronics (SAME)
  • Membre créateur du groupe Sophia-Antipolis Formal Analysis (SAFA)

Principaux Résultats scientifiques

  • L. Apvrille, P. de Saqui-Sannes, «Vérification d’exigences d’un modèle SysML», Chapitre de livre dans Modélisation et analyse de systèmes embarqués, Ed. Lavoisier, Hermès Science, avril 2013
  • D. Knorreck, L. Apvrille, R. Pacalet, «Formal System-level Design Space Exploration», Concurrency and Computation: Practice and Experience, John Wiley & Sons, Ltd, DOI, 2012
  • L. Apvrille, J.-P. Courtiat, C. Lohr, P de Saqui-Sannes , «TURTLE: A Real-Time UML Profile Supported by a Formal Validation

Education

  • ENSEIRB Engineer (1997)
  • Master in computer science from ENSEEIHT/ENSICA (1998)
  • Ph.D., Institut National Polytechnique de Toulouse (2002)
  • Habilitation à Diriger les Recherches, Université Nice Sophia-Antipolis (2012)

Teaching

  • Operating Systems
  • UML for embedded systems

Major Research Interest or Current Research Topics

  • Model-based design of complex embedded systems
  • Methods and models for the security analysis of complex systems
  • Formal proof of safety and security properties

Industrial Experience

  • Former R&D engineer, Thales Alenia Space
  • Fifteen years of experience in settling and participating to collaborative national, european and bilateral research projects with industry, in the areas of mobile platforms,
    telecommunication satellites and automotive embedded systems

Visibility, Membership, Committee

  • Member of the Sophia-Antipolis Microelectronics association (SAME).
  • Member and co-founder of the rearche group Sophia-Antipolis Formal Analysis
    (SAFA)

Main Scientific Results

  • L. Apvrille, P. de Saqui-Sannes, «Vérification d’exigences d’un modèle SysML», Book chapter in Modélisation et analyse de systèmes embarqués, Ed. Lavoisier, Hermès Science, April 2013 (In French)
  • D. Knorreck, L. Apvrille, R. Pacalet, «Formal System-level Design Space Exploration», Concurrency and Computation: Practice and Experience, John Wiley & Sons, Ltd, DOI, 2012
  • L. Apvrille, J.-P. Courtiat, C. Lohr, P de Saqui-Sannes , «TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit