Titre : |
Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement |
Type de document : |
thèse |
Auteurs : |
Mickaël RICHARD, Auteur ; Francis COTTET, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jean-Charles BILLAUT, Rapporteur ; Mammeri ZOUBIR, Rapporteur ; Yvon TRINQUET, Rapporteur ; Joël GOOSSENS, Examinateur |
Année de publication : |
2002 |
Importance : |
265 p. |
Note générale : |
Remerciements
Table des matières
Introduction générale
Conclusion
Glossaire
Annexes |
Langues : |
Français (fre) |
Catégories : |
Informatique Logiciels Ordonnancement (informatique) Systèmes embarqués (informatique) Temps réel (informatique)
|
Index. décimale : |
TH-02 |
Résumé : |
BASES DE L'ORDONNANCEMENT EN-LIGNE DE SYSTEMES TEMPS REELS
Introduction
Architecture des systèmes temps réels
Ordonnancement de systèmes monoprocesseurs
Les systèmes distribués
Placement
ANALYSE HOLISTIQUE
Détermination et analyse du pire cas
Analyse holistique
Calcul des pires temps de réponse des tâches et des messages
AFFECTION DES PRIORITES
Problématique
Structure de l'arbre de recherche
Principes généraux de la procédure de recherche
Arbre de recherche : Principe d'évaluation
Arbre de recherche : Test et coupe
Extension du protocole d'accès aux ressources critiques
Exemple : cas d'étude
Expérimentation
PLACEMENT ET AFFECTION
Architecture du systèmes temps réel
Placement et affection
Exemple
Expérimentation
CONTRAINTES DE PRECEDENCE ET ORDONNANCEMENT MONOPROCESSEUR
Modèles de tâches
Anomalies d'ordonnancement
Cas particuliers
Test général d'ordonnançabilité
Application sur l'exemple [HKL94]
APPLICATION SUR UNE ARCHITECTURE DISTRIBUEE
Architecture des systèmes distribués dans l'automobile
Méthode d'affectation des priorités
Méthode de placement et d'affection |