Allez au contenu, Allez à la navigation

.

RSS

Claire Pagetti

 

 

 

Marc Boyer

Claire Pagetti -- Ingénieur de recherche
ONERA / DTIM
2, avenue E. Belin
31055 Toulouse Cedex
Tel: (+33) 5-62-25-26-52
Secrétariat: (+33) 5-62-25-25-92

 

Courriel: Prenom.Nom@onera.fr

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 at ONERA since June 2005 and an assistant professor at ENSEEIHT since September 2007. I defended my HDR on Jan 2015.
 

Research

Design and validation of embedded systems. [Publications]

Students

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)

Post-doc


Current PhD students
  • Quentin Perret, Langage et méthode pour l'exécution de code prédictible sur pluri-coeurs (PHD 2014-2017, with my colleagues Pascal Maurère, Eric Noulard, Pascal Sainrat and Benoît Triquet)
  • Kevin Delmas, Méthode et environnement de développement d'applications prédictibles et tolérantes aux fautes (PHD 2014-2017, with my colleague Rémi Delmas)
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.

Late Rémy Wyss has passed away on Oct 4th, 2015. He taught us the real meaning of courage and joy of life.

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

Teaching

(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, Lustre et automates temporisés. TP sur le robot Lego avec Jérôme Ermont. La partie sur l'ordonnancement est donnée par Jean-Luc Scharbarg.
  • 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
    • 2TR: ModApp