Contribution à la conception et à la vérification de systèmes temps réel — Focus sur l'ordonnancement temps réel - Archive ouverte HAL Access content directly
Habilitation À Diriger Des Recherches Year : 2016

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

Abstract

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.
Fichier principal
Vignette du fichier
hdr.pdf (1.65 Mo) Télécharger le fichier
Loading...

Dates and versions

tel-01451027 , version 1 (31-01-2017)

Identifiers

  • HAL Id : tel-01451027 , version 1

Cite

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⟩
267 View
765 Download

Share

Gmail Facebook Twitter LinkedIn More