Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Contributions à la conception sûre des systèmes embarqués sûrs

Alain Girault 1
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : In this document, I present my research results on the safe design of safe embedded systems. The first part concerns the automatic distribution of synchronous programs. The automatic aspect provides an essential safety level in the design of distributed systems because it is the most delicate part of the specification that is being automated. Thanks to it, the absence of deadlock and the functional equivalence between the centralized source program and the distributed final program can be formally proved. The second part deals with the scheduling and the distribution of dataflow task graphs onto distributed memory architectures, with fault-tolerance and reliability constrains. I mainly present multiprocessor static scheduling heuristics with fault-tolerance and reliability goals, but also the use of formal methods such as discrete controller synthesis and automatic program transformations. Finally, the third part concerns automated highways, with two aspects : the longitudinal control of autonomous vehicles, and the insertion protocols in automated highways.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [258 references]  Display  Hide  Download
Contributor : Alain Girault <>
Submitted on : Friday, October 5, 2007 - 11:24:25 AM
Last modification on : Thursday, November 19, 2020 - 1:00:26 PM
Long-term archiving on: : Thursday, September 27, 2012 - 1:00:16 PM



  • HAL Id : tel-00177048, version 1




Alain Girault. Contributions à la conception sûre des systèmes embarqués sûrs. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006. ⟨tel-00177048⟩



Record views


Files downloads