Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs / Thi Huyen Chau NGUYEN  

Titre : Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs Type de document : thèse Auteurs : Thi Huyen Chau NGUYEN, Auteur ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Maryline CHETTO, Rapporteur ; Laurent GEORGE, Rapporteur ; Joël GOOSSENS, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Isabelle PUAUT, Examinateur Année de publication : 2010 Importance : 108 p. Note générale : NNT 2010ESMA0014 Remerciements Table des matières Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Ordonnancement (informatique) Temps réel (informatique) Résumé : INTRODUCTION Définition générale Notations liées aux tâches et à l'ordonnancement Objectifs de l'étude Organisation du mémoire et contributions ORDONNACEMENT A PRIORITE FIXE Tests d'ordonnançabilité Principaux tests d'ordonnançabilité Principales bornes de temps de réponse CONTINUITE ET ORDONNANCABILITE Borne de Sjödin et Hansson Borne de Bini et Baruah Analyse Expérimentations TACHES A ECHEANCES CONTRAINTES AVEC GIGUES D'ACTIVATION Définitions Bornes des pires temps de réponse Analyse pire cas des bornes d'erreur Expérimentations numériques TACHES A ECHEANCES ARBITRAIRES Modèle de tâches et résultats connus Analyse du schéma d'approximation de Fischer et Baruah Version révisée de l'algorithme de Fischer et Baruah Correction du schéma d'approximation CONCLUSION En ligne : http://tel.archives-ouvertes.fr/tel-00554265/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008572	TH-10 NGU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-10 NGU	NGU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF / Ahmed RAHNI  

Titre : Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF Type de document : thèse Auteurs : Ahmed RAHNI ; Pascal RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Maryline CHETTO, Rapporteur ; Yvon TRINQUET, Examinateur ; Francis COTTET, Examinateur ; Joël GOOSSENS, Examinateur Importance : 196 p. Note générale : NNT 2008POIT2307 Table des matières Table des figures Liste des tableaux Annexes Bibliographie Résumé Mots clés Catégories : Ordonnancement (informatique) Temps réel (informatique) Index. décimale : TH-08 Résumé : ETAT DE L'ART Systèmes temps réel et ordonnancement Analyse d'ordonnançabilité des tâches avec décalage d'activation (à offsets) CONTRIBUTIONS Analyse mixte du pire temps de réponse des tâches à offsets en priorités fixes Identification des instants critiques pire cas, en priorités fixes Analyse d'ordonnançabilité des transactions avec priorités dynamiques EDF153 En ligne : http://tel.archives-ouvertes.fr/tel-00368101/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007950	TH-08 RAH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne / Moustapha BIKIENGA  

Titre : Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne Type de document : thèse Auteurs : Moustapha BIKIENGA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Auteur ; Maryline CHETTO, Rapporteur ; Frank SINGHOFF, Rapporteur ; Gaëlle LARGETEAU-SKAPIN, Examinateur ; Yamine AIT AMEUR, Examinateur Importance : 180 p. Note générale : NNT 2014ESMA0011 Remerciements Table des matières Introduction générale Annexes Notations Acronymes Bibliographie Résumé Mots clés Catégories : Ingénierie dirigée par les modèles Ordonnancement (informatique) POSIX (norme) Temps réel (informatique) Résumé : ETAT DE L'ART Systèmes temps réel Systèmes d'exploitation temps réel Applications temps réel Ordonnacement Mise en oeuvre applicative d'ordonnancement hors-ligne Conclusion CONTEXTE, METHODOLOGIE ET MODELISATION Problématique Hypothèses de base Méthodologie Politiques de mise en oeuvre de séquences d'ordonnancement hors-ligne Démarche Modèle de coûts des mises en oeuvre Conclusion ALGORITHMES DE MISE EN OEUVRE Mise en oeuvre d'ordonnancement sans préemption Mise en oeuvre d'ordonnancement avec préemption Prise en compte des ressources critiques et des contraintes de précédence Conclusion MISE EN OEUVRE POSIX Mise en oeuvre POSIX Automatisation de mise en oeuvre POSIX Mise en oeuvre POSIX sur Xenomai Observation et analyse de scénarios d'exécution Conclusion ETUDE DE CAS : APPLICATION DE GESTION DE MINE SOUTERRAINE Description du cas pratique : gestion de la sécurité d'une mine Mise en oeuvre du scénario d'exécution Conclusion CONCLUSION ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01080218

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010733	TH-14 BIK	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-14 BIK	BIK	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnancement équitable tolérant aux pannes matérielles / Yves Marcellin MOUAFO TCHINDA  

Titre : Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnancement équitable tolérant aux pannes matérielles Type de document : thèse Auteurs : Yves Marcellin MOUAFO TCHINDA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Gaëlle LARGETEAU-SKAPIN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Maryline CHETTO, Rapporteur ; Claire PAGETTI, Rapporteur ; Julien FORGET, Examinateur ; Emmanuel GROLLEAU, Examinateur Importance : 203 p. Note générale : NNT 2017ESMA0015 Dédicace Remerciements Table des matières Introduction générale Annexes Table des figures Liste des tableaux Bibliographie Résumé Mots clés Catégories : Analyse Pire Cas Commande de processus Microprocesseurs multi-coeurs Systèmes embarqués (informatique) Systèmes informatiques:Pannes Temps réel (informatique) Tolérance aux fautes (informatique) Résumé : ETAT DE L'ART L'ordonnacement équitable Tolérance aux pannes des systèmes temps-réel Systèmes à criticités multiples et changements de mode CONTRIBUTIONS Ordonnancement sans reprise Ordonnancement avec reprise Possibilités d'extension CONCLUSION ET PERSPECTIVES Conclusion générale Perspectives En ligne : https://tel.archives-ouvertes.fr/tel-01685276

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-17 MOU	MOU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

---

1 (1 - 4 / 4) Par page : 25 50 100 200