Publications: A complete list is available here
(extracted from HAL).
I recently started working on
the Corteva ANR
project, a correct-by-construction methodology for supporting execution
time variability in real-time systems.
I am a member of the Program Committee of RTNS 2018,
please consider submitting your contribution.
RTNS is a friendly conference with a great sense of community that
presents excellent opportunities for collaboration. The purpose of the
conference is to share ideas, experiences and information among academic
researchers, developers and service providers in the field of real-time
systems and networks.
SIES 2018
I am a member of the program committee
of SIES 2018, please consider
submitting your contribution.
The aim of this symposium is to bring together researchers and
practitioners from industry and academia and provide them with a
platform to report on recent developments, deployments, technology
trends and research results, as well as initiatives related to embedded
systems and their applications in a variety of industrial environments.
Short Vitae
Sep. 2010-now: Associate professor, University Lille 1, member of the Emeraude team
(CRIStAL);
Nov. 2006-Nov. 2009: Ph.D. thesis at ONERA-ISAE (Supaéro),
see below;
2005-2006: Engineer at Esterel
Technologies. Worked as a developper of the new compiler of the
SCADE
development environment for safety-critical embedded
applications (based on the Lustre language);
2002-2004: Engineer at INRIA-Rocquencourt in the AOSTE team. Worked as a
developper of SynDEx, a
conception software for distributed real-time embedded systems;
2002: Master in Computer Science (DEA+DESS) at the
University of Bordeaux I.
The title of my thesis is A Synchronous Language for Critical Embedded Systems
with Multiple Real-Time Constraints. We defined a language, called Prelude, and its
compiler for embedded control systems of the aeronautical and aerospatial domains:
We deal with strong real-time constraints, namely: precedences,
multi-period and latency constraints;
The language has strong formal properties, building on synchronous
languages such as
Lustre or Lucid
Synchrone;
This language includes high level real-time primitives missing in
previous synchronous languages to program multi-periodic reactive
systems;
These primitives are based on a specific class of statically
computable clocks, called Strictly Periodic Clocks;
Programs are compiled into a set of concurrent real-time tasks
(multi-threaded C code).