Projects and Collaboration

  • 90’s: The M3S project has been supported by several national and regional contracts.
  • 2000: Study on processors for avionics for Airbus
  • 2001: Our work on processor simulation has been supported by a national action with LRI a national project (ATLAS) with LRI, CEA, Airbus France and TNI.
  • 2002: 3-year national project (COP) on program optimisation with KRI, INRIA, CEA, STM, and HP
  • 2006: Head of a 3-year national project (MasCotTE) concerning the control of temporal properties with IEF, IRCCYN, IRISA, LAAS, Geensys, Freescale, and Renault
  • 2006: project (Martiac) with Airbus concerning a parallel architecture for flight control
  • 2006: project (Sceptre) with LAAS and Airbus on system conception of critical systems
  • 2008: 3-year European project (Merasa) with Augsburg, UPC, Rapita, Honeywell
  • 2008: 3-year national project (Socket) with Astrium, Airbus, Thalès, STM, Schneider, PSI-S, Magillem, CNES, CEA Lab-Sticc, TIMA on the flow of conception of critical systems
  • 2011: 3-year European project (parMerasa) with Augsburg, BSC, Dortmund, Rapita, Honeywell, Bauer, Denso on a predictable multiprocessor

PhD students I worked with

  • Dominique Carrière: design of the memory of the M3S multiprocessor
  • Stéphan Jourdan: out-of-order execution and instruction fetch
  • Pham Tuong Hai: Prefetch and address prediction
  • Stéphan Jourdan: out-of-order execution and instruction fetch
  • Carmen Turinici: value prediction
  • Hugues Cassé: memory references analysis with abstract interpretation
  • Thierry Haquin: instruction fetch
  • Philippe Reynès: instruction reuse
  • Fadia Nemer: cache analysis to increase WCET estimation
  • David Parello: program optimisation
  • Jonathan Barre: simultaneous multithreading and critical systems
  • Tahiry Ratsiambahotra: automatic generation of processor simulators
  • Cédric Landet: simultaneous multithreading and critical systems
  • Roman Bourgade: WCET analysis on multicores
  • Hicham Agrou: predictable high-performance processor
  • Quentin Perret: Predictable execution on many-core processors

April 29, 2022

Thème : Overlay par Kaira. Texte supplémentaire
Le Cap, Afrique du sud