Claire Pagetti

Pages personnelles professionnelles

Short biography

After a mathematical education, I obtained a Master of Computer Science in 2000 at the University of Rennes 1. I defended my PHD in 2004 at the Ecole Centrale de Nantes (advisors: Pr Olivier Roux and Franck Cassez) on real-time extensions of the language AltaRica. From sept 2003 to august 2004, I was assistant professor in Computer Science at the University of Bordeaux (IV). From sept 2004 to may 2005, I was a post-doctoral fellow at INRIA in the Alchemy project on N-synchrony. I am a full time research engineer in ONERA since June 2005 and an assistant professor at ENSEEIHT since September 2007.


Design and validation of embedded systems.


Research Proposals: Master thesis or PhD proposal
(If no subject suits you, do not hesitate to contact me if you are interested in real-time embedded systems)
September 2013 CNES PhD proposal with Christine Rochange



  • Wolfgang Puffitsch (Torrents 2012-2013)
  • Gilles Lasnier (Torrents 2012-2013 with my colleague Janette Cardoso)

Current PhD students



  • Rémy Wyss, Atelier d'aide à la conception de systèmes multipériodiques (PHD 2010-2013, with my colleague Frédéric Boniol)
Former PhD Students


  • Julien Forget , Programmation et implantation de systèmes contrôle-commande distribués (PHD 2006-2009, with my colleagues Frédéric Boniol and David Lesens Astrium Transportation). Associate Professor at LIFL.
  • Mikel Cordovilla, Implantation de systèmes synchrones temps réel sur des architectures multicoeurs (PHD 2008-2012, with my colleagues Frédéric Boniol and Eric Noulard). PHD manuscript
  • Michaël Lauer, Méthode globale pour la vérification des systèmes embarqués temps réel - projet SATRIMMAP (PHD 2009-2012, with my colleagues Jérôme Ermont and Frédéric Boniol). PHD manuscript. Post-doc at Ecole Polytechnique de Montréal.


(in french)

  • Cours sur les systèmes temps réel (Lecture Notes)
    • master EMS ISAE/ENSEEIHT. Cours en anglais: introduction générale sur les systèmes temps réel, présentation des langages SDL et Lustre, ordonnancement temps réel. 
    • IN2 majeure info. Introduction générale sur les systèmes temps réel, cours approfondi sur SDL et Lustre. TP sur le robot Lego avec Jérôme Ermont. La partie sur l'ordonnancement est donnée par Jean-Luc Scharbarg.
    • IN2 majeure math. Introduction aux automates temporisés, TP sur UPPAAL. 
  • Cous sur la sûreté de fonctionnement (Lecture Notes)
    • 3TR: Module sûreté de fonctionnement 
    • 3TR, master EMS: Module bus tolérants aux fautes - fault tolerant bus