Contribution à la conception et à la vérification de systèmes temps réel — Focus sur l'ordonnancement temps réel

Pierre-Emmanuel Hladik 1
1 LAAS-VERTICS - Équipe Verification de Systèmes Temporisés Critiques
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Résumé : Ce document présente une synthèse des travaux que j'ai réalisés autour de la conception et de la vérification des systèmes embarqués critiques, en particulier autour de l'ordonnancement temps réel, ainsi que les perspectives de recherche que j'envisage pour les années à venir.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [242 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/tel-01451027
Contributor : Pierre-Emmanuel Hladik <>
Submitted on : Tuesday, January 31, 2017 - 3:39:15 PM
Last modification on : Wednesday, September 4, 2019 - 11:08:02 AM
Long-term archiving on : Monday, May 1, 2017 - 2:38:48 PM

File

Identifiers

  • HAL Id : tel-01451027, version 1

Citation

Pierre-Emmanuel Hladik. Contribution à la conception et à la vérification de systèmes temps réel — Focus sur l'ordonnancement temps réel. Systèmes embarqués. INP DE TOULOUSE, 2016. ⟨tel-01451027⟩

Share

Metrics

Record views

308

Files downloads

816