Laurent Pautet
-
Professor at Télécom Paris since 2005
-
Leader of research team (ACES)
Autonomous and Critical Embedded Systems
-
HDR in Computer Sciences at (UPMC) University Pierre et Marie
Curie in 2001
-
PhD Thesis at Télécom Paris in 1993 (industrial PhD thesis
with Dassault Electronic)
-
Real-Time Systems
-
Deterministic Platforms
-
Critical Systems Design Process
I have been studying and designing real-time task scheduling
algorithms, and their implementation in the operating system (OS),
that address the challenges associated with multi-core
platforms. For instance, a recent contribution on scheduling for
mixed-criticality systems, which was developed in collaboration
with Renault in the context of the IRT SystemX (thesis Gratia,
project ELA), was shown to outperform previous approaches in terms
of processor utilisation as well as the number of task
preemptions. Another strong contribution on scheduling
mixed-critical dependant real-time tasks was proposed in the
context of the ISC chair was also shown to outperform the state of
the art (thesis Medina).
Complementing the work on task scheduling, I am additionally
exploring the use of deterministic and time-predictable
computing platforms. The goal of this work is to improve the
analysability of critical software in terms of its worst-case
behaviour, while ensuring competitive performance in the average
case. Predictability can be ensured in software using
hypervisors on off-the-shelf hardware, as demonstrated in a
collaboration with Thales Avionics (thesis Jean). The
hypervisor intercepts accesses to shared resources (e.g.,
memory) and thus can manage these accesses to avoid contention
and improve isolation. The quality of this work has been
acknowledged through a best Paper Award and resulted in a joint
patent with Thales.
Another means to improve the predictability of a platform is
through specialised hardware. Current work (thesis Hebbache)
aims at improving the average-case performance of the memory
hierarchy of the Patmos multi-core platform by using dynamic
arbitration schemes that converge to predictable Time-Division
Multiplexing (TDM) in the worst-case.
Critical Systems Design Process
|
The research cited above aims at providing a suitable computing
platform (OS, runtime, hardware) for critical real-time
systems. A third pillar of my research activities are techniques
and tools that help to design such systems via model-based
design — exploiting, among others, the aforementioned computing
platforms. Etienne Borde and myself strongly contribute to the
state-of-the-art in model-based design at various steps of the
design process (model refinement, test, code generation, ...)
and at various technical and formal levels (thesis Richa), but
also the definition of modelling languages. These contributions
on model-driven engineering have been acknowledged by the
scientific community, e.g., through a Best Paper Award at ICMT
2015
RAMSES allows to automatically derive implementation models from
high-level design models (thesis Cadoret) in order to validate
low-level software implementations, to analyse the availability
as well as the schedulability of mixed-criticality applications
(thesis Medina), or, even, to explore the design space of
implementations through model transformation (thesis
Rahmoun). Parts of this work have been carried out with
industrial partners such as Alstom in the context of the IRT
SystemX as well as the chair « Ingénierie de Systèmes Complexes
» with academic partners from École Polytechnique and ENSTA
Paris. A follow-up project ISC recently started (thesis
Hassine) aiming at managing uncertainty in model-based design
exploration. The RAMSES tool has also been selected as a
showcase project by Institute.
Safety and Security Systems
|
Following up the project ELA, the project CTI (thesis Oudot) is
currently starting, again in the context of the IRT SystemX, and
allowed to establish a new collaboration with A. Easwaran (NTU,
Singapore). This work aims at addressing security issues that
may impact safety and realiability issues by improving the
critical system design process.
-
Project CTI aims at offering new car services but also a
better security for the user. Adding new services in cars also
embeds new digital threats, such as intrusion, data theft,
which can also impact the reliability and the safety of the
system. In this project, I supervise Jean Oudot’s PhD thesis
with Etienne Borde as advisor. This PhD thesis is also a
joined thesis with Arvind Easwaran from NTU.
-
Chaire C3S aims at developing connected cars taking
cyber-security into account. Four axis have been identified,
and I am involved with the axis « Resilience by design ». In
particular, we study solutions inspired by the living world,
for example mimicking the ability of the immune system to
fight the attack first generically (phagocytes) then in a
second time in a targeted manner (lymphocytes and anti-body) .
-
Chaire ISC aims at developing complex systems and more
specifically Cyber-Phyical Systems. In this context, I
supervise Roberto Medina’s PhD thesis with Etienne Borde. In
this work, we define a meta-heuristic to schedule
multiprocessor systems composed of multi-periodic Directed
Acyclic Graphs of Mixed Criticality tasks.
-
Project ISC aims at developing collaborative processes between
industrial stakeholders in extended enterprise in the context
of Model Driven Systems Engineering and strengthening the
overall vision of decision-makers by evaluating and comparing
different architecture alternatives. In this project, I
supervise Mohamed Hassine’s PhD thesis with Etienne Borde as
advisor.
-
Project S3P aims at enabling the rapid development and
commercial operation of Internet of Things (IoT) connected
products and services, combining unique features of
dependability, cyber security, agility and portability. Our
contribution to the project consists in developping solutions
to the ALSTOM’s case study. Basically, some previous research
results based RAMSES are injected in the project.
-
I also supervise Farouk Hebbach’s PhD thesis with Mathieu Jan
(CEA) and Florian Brander as advisors. This collaborative work
with CEA aims at exploring the use of deterministic and
time-predictable computing platforms. In particular, we study
the extension of Time-Division Multiplexing with dynamic
arbitration schemes.
Real-time Embedded Systems
|
-
SE205
-
Mastere Cyber-Physical Systems
Java Programming (first year)
|
System Programming (first year)
|
Administration Activities
|
-
Membre élu du Conseil du laboratoire LTCI
-
Membre élu du Conseil d’Ecole
-
Membre élu de la Commission de Qualification pour Promotion et Changement d’Appellation
-
Élu au Conseil Académique Consultatif
-
Membre du département STIC
-
Membre de la Commission d’Autorisation à Diriger des Recherches
-
Membre de la Commission Formation de Digicosme
-
Membre du comité de pôle 4 de l'Ecole Doctorale STIC