I carry out my reasearch within LTCI as a member of INFRES department. My main interests are models for dependability engineering and real time scheduling.
Here is a list of latest projects to which I participated :
- PARSEC (finished 2011) — FUI
- CORAC (active) — Investissement d’avenir
- PISCO (finished 2015) — FUI
- CONNEXION (active) — BGLE2
- IRT SystemX (active)
- SEIDO (active) — laboratoire commun avec EDF R&D
Lately, I focussed on
- Mixed criticality scheduling theory
- Safety and security interplays modelling and mitigation