Détail de l'auteur
Auteur Mickaël RICHARD |
Documents disponibles écrits par cet auteur (4)
Faire une suggestion Affiner la recherche
Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel / Yassine OUHAMMOU
Titre : Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel Type de document : thèse Auteurs : Yassine OUHAMMOU, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Marco DI NATALE, Rapporteur ; Frank SINGHOFF, Rapporteur ; Yves SOREL, Rapporteur ; Jérôme HUGUES, Examinateur Importance : 214 p. Note générale : NNT 2013ESMA0029
Remerciements
Contents
Appendices
Bibliography
Abstract
Key wordsCatégories : Ingénierie dirigée par les modèles
Modèles mathématiques
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes, Conception de
Temps réel (informatique)Résumé : Introduction
RESEARCH FOUNDATIONS
Real-time systems : generalities and definitions
Real-time scheduling
Technological background
CONTRIBUTIONS
Synthesis and work orientation
MoSaRT design language
MoSaRT analysis repository
MoSaRT framework
CONCLUSION AND PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00954468 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010379 TH-13 OUH Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 OUH OUH Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement / Mickaël RICHARD
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
AnnexesLangues : 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'affectionExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008127 TH-02 RIC Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt
Titre : Contributions à l'ordonnacement et l'analyse des systèmes temps réel critiques Type de document : thèse Auteurs : François DORIN, Auteur ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Yvon TRINQUET, Examinateur Année de publication : 2010 Importance : 154 p. Note générale : NNT 2010ESMA0012
Table des matières
Table des figures
Liste des tableaux
Introduction générale
Annexes
Index
Bibliographie
Résumé
Mots clésLangues : Français (fre) Catégories : Ordonnancement (informatique)
Temps réel (informatique)Résumé : ETAT DE L'ART
Introduction
Validation des systèmes temps réel
CONTRIBUTIONS
Algorithme d'optimisation du nombre de processeurs dans une architecture distribuée
Modèle à criticité multiple
Ordonnancement semi-partitionné avec migrations restreintes
CONCLUSIONEn ligne : http://tel.archives-ouvertes.fr/tel-00554806/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008589 TH-10 DOR Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 DOR DOR 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ésCaté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