Sûreté temporelle pour les systèmes temps réel multiprocesseurs

Résumé : Les systèmes temps réel à contraintes temporelles strictes sont caractérisés par des ensembles de tâches pour lesquelles sont connus l'échéance, le modèle d'arrivée (fréquence) et la durée d'exécution pire cas (WCET). Nous nous intéressons à l'ordonnancement de ces systèmes sur plate-forme multiprocesseur. Garantir le respect des échéances pour un algorithme d'ordonnancement est l'une des problématiques majeures de cette thématique. Nous allons plus loin en nous intéressant à la sûreté temporelle, que nous caractérisons par les propriétés (i) de robustesse et (ii) de viabilité. La robustesse consiste à proposer un intervalle sur les augmentations(i-a) de WCET et (i-b) de fréquence tel que les échéances soient respectées. La viabilité consiste cette fois à garantir le respect des échéances lors du relâchement des contraintes (ii-a) de WCET (réduction), (ii-b) de fréquence (réduction) et (ii-c) d'échéance(augmentation). La robustesse revient alors à tolérer l'imprévu, tandis que la viabilité est la garantie que l'algorithme d'ordonnancement n'est pas sujet à des anomalies suite à un relâchement de contraintes. Nous considérons l'ordonnancement en priorités fixes, où chaque occurrence d'une tâche est ordonnancée avec la même priorité. Dans un premier temps, nous étudions la propriété de robustesse dans les approches d'ordonnancement hors-ligne et sans migration (partitionnement). Nous traitons le cas des tâches avec ou sans partage de ressources. Dans un second temps, nous étudions la propriété de viabilité d'une approche d'ordonnancement en ligne avec migrations restreintes et sans partage de ressources
Type de document :
Thèse
Autre [cs.OH]. Université Paris-Est, 2011. Français. <NNT : 2011PEST1019>
Liste complète des métadonnées

https://pastel.archives-ouvertes.fr/tel-00668537
Contributeur : Abes Star <>
Soumis le : jeudi 1 mars 2012 - 14:37:49
Dernière modification le : dimanche 17 janvier 2016 - 01:03:11
Document(s) archivé(s) le : mercredi 14 décembre 2016 - 09:20:12

Fichier

TH2011PEST1019_complete.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00668537, version 2

Citation

Frédéric Fauberteau. Sûreté temporelle pour les systèmes temps réel multiprocesseurs. Autre [cs.OH]. Université Paris-Est, 2011. Français. <NNT : 2011PEST1019>. <tel-00668537v2>

Partager

Métriques

Consultations de
la notice

658

Téléchargements du document

453