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 words Caté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 PERSPECTIVES En 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

Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel / Christian FOTSING TAKOUTSI  

Titre : Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel Type de document : thèse Auteurs : Christian FOTSING TAKOUTSI, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Guy VIDAL-NAQUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Franck POMMEREAU, Rapporteur ; Frank SINGHOFF, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Christophe AUSSAGUES, Examinateur Année de publication : 2012 Importance : 226 p. Note générale : NNT 2012ESMA0003 Remerciements Table des matières Table des figures Annexe Bibliographie liée à la thèse Bibliographie Index Langues : Français (fre) Catégories : Logiciels:Validation Méthodes formelles (informatique) Ordonnancement (informatique) Petri, Réseaux de Simulation, Méthodes de Temps réel (informatique) Résumé : INTRODUCTION GENERALE Les systèmes temps-réel La problématique Objectifs et intérêts du travail Contribution : méthodologie globale Plan et contenu de la présentation ETAT DE L'ART Synthèse de quelques travaux connexes Validation par les réseaux de Pétri CONTRIBUTION Modélisation d'une tâche Modélisation de l'application Les arbres d’ordonnancement Ordonnancement linéaire versus ordonnancement arborescent Mise en œuvre avec les réseaux de Pétri CONCLUSTION GENERALE Conclusion Perspectives En ligne : http://tel.archives-ouvertes.fr/tel-00684788

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00009301	TH-12 FOT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-12 FOT	FOT	Numérique	Thèses ISAE-ENSMA en ligne	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

Ordonnançabilité des systèmes avioniques hiérarchiques à deux niveaux / Luc DESCHARMES  

Titre : Ordonnançabilité des systèmes avioniques hiérarchiques à deux niveaux Type de document : thèse Auteurs : Luc DESCHARMES, Auteur ; Annie CHOQUET-GENIET, 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 ; Claire PAGETTI, Rapporteur ; Audrey QUEUDET, Rapporteur ; Jérôme ERMONT, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Frank SINGHOFF, Examinateur Importance : 133 p. Note générale : NNT 2026ESMA0009 Remerciements Sommaire Table des figures Liste des tableaux Introduction Bibliographie Résumé Mots clés Catégories : Analyse Pire Cas Ordonnancement (informatique) Systèmes d'exploitation répartis Traitement réparti Résumé : ÉTAT DE L'ART SYSTÈME ET RÉSEAU AVIONIQUES Système temps-réel distribué Réseau temps-réel avionique Calculateur avionique Objectifs ORDONNANCEMENT MONOPROCESSEUR Tâches périodiques Politique d'ordonnancement Transactions Tâches multiframe ORDONNANCEMENT HIÉRARCHIQUE Système à différent niveaux de criticité Modèle d'ordonnancement hiérarchique Ordonnançabilité Positionnement de la thèse CONTRIBUTIONS SIMULATEUR Génération d'une configuration Architecture du code ORDONNANÇABILITÉ D'UNE PARTITION UNI-ACCÈS Positionnement et modèle Analyse de l'ordonnançabilité du système local Analyse du temps de réponse Expérimentations Conclusion ORDONNANÇABILITÉ D'UNE PARTITION MULTI-ACCÈS Problématique Fonction d'approvisionnement Analyse de l'ordonnançabilité d'un système local Recherche de l'instant critique Expérimentations Conclusion CONCLUSIONS ET PERSPECTIVES En ligne : https://theses.fr/2026ESMA0009

Exemplaires(1)

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

---

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