| Titre : |
Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur |
| Type de document : |
thèse |
| Auteurs : |
Emmanuel GROLLEAU ; Francis COTTET, Directeur de thèse ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; G. JUANOLE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; P. ESTRAILLIER, Examinateur ; Annie CHOQUET-GENIET, Examinateur ; Francis COTTET, Examinateur ; A.-M. DEPLANCHE, Examinateur |
| Importance : |
233 p. |
| Note générale : |
Remerciements
Sommaire
Bibliographie
Bibliographie liée à l'étude
Annexes
Index des figures |
| Catégories : |
Informatique
Petri, Réseaux de
Temps réel (informatique)
|
| Index. décimale : |
TH-99 |
| Résumé : |
SYSTEMES TEMPS REEL ET ORDONNANCEMENT
Introduction au temps réel
L'ordonnancement des systèmes de tâches temps réel
EXTENSIONS DES RESEAUX DE PETRI
Réseau de Pétri autonomes
ETUDE DE LA CYCLICITE DES ORDONNANCEMENTS DE TÂCHES PERIODIQUES
Etude des temps creux acycliques
Cas des systèmes de tâches indépendantes
Cas des systèmes de tâches quelconques
ETUDE DE SYTEMES TEMPS REEL A L'AIDE DE RESEAUX DE PETRI : CAS MONOPROCESSEUR
Modélisation
Etude
Complexité et taille du graphe d'accessibilité
Obtention des séquences d'ordonnancement valides
ETUDE DE SYSTEMES TEMPS REEL A L'AIDE DE RESEAUX PETRI : CAS MULTIPROCESSEUR
Hypothèses matérielles
Modélisation
Etude
APPLICATION DE L'ETUDE
Présentation de PeNSMARTS
Etude de cas |
|
Faire une suggestion Affiner la rechercheOrdonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur
