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 [2007-2015]
Résumé : Je présente dans ce document mes résultats de recherche sur la conception sûre de systèmes embarqués sûrs. La première partie concerne la répartition automatique de programmes synchrones. Le caractère automatique de la répartition apporte un réel degré de sûreté dans la conception de systèmes répartis car c'est la partie la plus délicate de la spécification qui est automatisée. Grâce à cela, l'absence d'inter-blocage et l'équivalence fonctionnelle entre le programme source centralisé et le programme final réparti peuvent être formellement démontrées. La deuxième partie traite le sujet de l'ordonnancement et de la répartition de graphes de tâches flots-de-données sur des architectures à mémoire répartie, avec contraintes de tolérance aux fautes et de fiabilité. Je présente principalement des heuristiques d'ordonnancement statique multiprocesseur avec pour but la tolérance aux fautes et la fiabilité des systèmes, mais également l'utilisation de méthodes formelles telles que la synthèse de contrôleurs discrets ou les transformations automatiques de programmes. Enfin, la troisième partie concerne les autoroutes automatisées, avec deux volets : la commande longitudinale de véhicules autonomes et les stratégies d'insertion dans les autoroutes automatisées.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [258 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00177048
Contributor : Alain Girault <>
Submitted on : Friday, October 5, 2007 - 11:24:25 AM
Last modification on : Friday, July 3, 2020 - 4:48:25 PM
Document(s) archivé(s) le : Thursday, September 27, 2012 - 1:00:16 PM

Files

Identifiers

  • HAL Id : tel-00177048, version 1

Collections

INRIA | CNRS | LIG | UGA

Citation

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⟩

Share

Metrics

Record views

501

Files downloads

2977