Détail de l'auteur
Auteur Laurent GEORGE |
Documents disponibles écrits par cet auteur (2)
Faire une suggestion Affiner la recherche
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ésLangues : 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
CONCLUSIONEn 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
Titre : Evaluation et validation des systèmes distribués avioniques Type de document : thèse Auteurs : Georges Arnaud KEMAYO, Auteur ; Pascal RICHARD, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Luc SCHARBARG, Rapporteur ; Laurent GEORGE, Rapporteur ; Yvon TRINQUET, Examinateur Importance : 167 p. Note générale : NNT 2014ESMA0010
Remerciements
Table des matières
Introduction générale
Publications
Annexes
Notations
Acronymes
Résumé
Mots clésCatégories : Avionique
Certification
Systèmes à paramètres répartis
Temps réel (informatique)Résumé : ETAT DE L'ART
Introduction aux systèmes avioniques
Méthodes de validation
CONTRIBUTIONS
Analyse de la méthode des trajectoires
Nouvelle méthode d'analyse des délais de bout en bout dans l'AFDX
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127020 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010734 TH-14 KEM Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 KEM KEM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt