Détail de l'auteur
Auteur Jean-Philippe BABAU |
Documents disponibles écrits par cet auteur (3)
Faire une suggestion Affiner la rechercheContribution à l'analyse d'ordonnançabilité des applications temps réel multiporcesseurs / Sadouanouan MALO
Titre : Contribution à l'analyse d'ordonnançabilité des applications temps réel multiporcesseurs Type de document : thèse Auteurs : Sadouanouan MALO, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Guy VIDAL-NAQUET, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Jean-Philippe BABAU, Examinateur ; Dominique GENIET, Examinateur ; Gaëlle LARGETEAU-SKAPIN, Examinateur Année de publication : 2010 Importance : 167 p. Note générale : NNT 2010ESMA0018
Remerciements
Table des matières
Avant-propos
Notations
Introduction générale
Liste des tableaux
Liste des figures
Bibliographie
Résumé
Mots clésLangues : Français (fre) Catégories : Ordonnancement (informatique)
Petri, Réseaux de
Temps réel (informatique)Résumé : ETAT DE L'ART
Ordonnancement multiprocesseur
Ordonnancement hors-ligne
CONTRIBUTION
Etude du problème de la cyclicité des ordonnancements multiprocesseurs
Reconfiguration en cas de panne processeur
Etude des ordonnancements p-équitables pour les tâches à départs différés et à échéances contraintes
Gestion des tâches apériodiques
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00554234/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008578 TH-10 MAL Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 MAL MAL Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Un environnement unifié pour le développement sur puce à coeurs asymétriques Type de document : thèse Auteurs : Roy JAMIL, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Liliana CUCU-GROSJEAN, Rapporteur ; Jean-Philippe BABAU, Rapporteur ; Nicolas NAVET, Examinateur ; Antoine BERTOUT, Examinateur Importance : 180 p. Note générale : NNT 2022ESMA0003
Remerciements
Table des matières
Liste des figures
Bibliographie
Résumé
Mots clésCatégories : Multiprocesseurs
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes sur puce
Temps réel (informatique)Résumé : LES SYSTÈMES MULTICŒURS ASYMÉTRIQUES
Introduction
Systèmes embarqués
Systèmes temps réel
Multiprocesseurs asymétriques
Les avantages des systèmes multiprocesseurs asymétriques
Les défis de l'environnement de développement AMP
Besoin industriel
Les apports de la thèse
Organisation de la thèse
Publications scientifiques
ARCHITECTURES OPÉRATIONNELLES DES SYSTÈMES EMBARQUÉS TEMPS RÉEL
Introduction
Architectures opérationnelles des systèmes embarqués
Stratégies d’ordonnancement
Systèmes d'exploitation ciblés
Conclusion
ARCHITECTURE DES PROCESSEURS HÉTÉRAOGÈNES
Introduction
Pipeline
Mémoire virtuelle
Mémoire cache
Interruptions
Bus et périphériques sur puce
Architecture ARM
ARM big.LITTLE
Systèmes asymétrique hétérogène
Communication inter-processeurs
Développement sur des processeurs ARM
Débogage
Firmware
Conclusion
MESURE DE DURÉE D'EXÉCUTION
Introduction
Pire durée d'exécution
Méthodes d'analyse de WCET
Caractéristiques des techniques de mesure
Méthodes de mesure sur un cœur
Comparaison expérimentale
Mesure expérimentale de durée d'exécution sur un système multicœur SMP
Contribution industrielle
Conclusion
MESURE DE DURÉE D'EXÉCUTION ET MIGRATION SUR LES SYSTÈMES AMP
Introduction
Application AMP
Mesure de durée d'exécution sur les systèmes AMP
Méthodes de mesure
Migration hétérogène
Étude de cas ROSACE
Discussion et perspective
Conclusion
ENVIRONNEMENT DE DÉVELOPPEMENT UNIFIÉ
Introduction
SW4Linux
Outils de développement des microcontrôleurs
Environnement de développement unifié
Conclusion
CONCLUSION ET PERSPECTIVES
Aperçu de la thèse
Mesure de durée d'exécution
Application AMP
Environnement de développement unifié
Fiabilisation des mesures et analyses de durées
En ligne : https://tel.archives-ouvertes.fr/tel-03662259 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-22 JAM JAM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones Type de document : thèse Auteurs : Soulimane KAMNI, Auteur ; Emmanuel GROLLEAU, Directeur de thèse ; Yassine OUHAMMOU, Directeur de thèse ; Antoine BERTOUT, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Philippe BABAU, Rapporteur ; Jean HLADIK, Rapporteur ; Annie CHOQUET-GENIET, Examinateur ; Jérôme ERMONT, Auteur Importance : 145 p. Note générale : NNT 2023ESMA0014
Résumé
Mots clés
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Liste des abréviations
Liste des symboles
Bibliographie
Résumé
Mots clésCatégories : Drones
Durée de vie (ingénierie)
Ingénierie dirigée par les modèles
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Systèmes, Conception de
Temps réel (informatique)Résumé : INTRODUCTION GÉNÉRALE
Contexte et motivations
Objectifs de la thèse
Organisation de la thèse
Publications scientifiques
SYSTÈMES EMBARQUÉS TEMPS RÉEL ET CONCEPTION À BASE DES MODÈLES
Introduction
Système embarqué temps réel
Cycle de vie de développement des systèmes temps réel
Méthodologies et langages de conception standardisés
Conception des systèmes temps réel
Conclusion
ORDONNANCEMENT ET VALIDATION DES SYSTÈMES TEMPS RÉEL
Introduction
Modèles de tâche
Orodonnancement monoprocesseur
Orodonnancement multiprocesseur
Analyse d'ordonnançabilité et validation
Outils d'analyse basés sur les modèles
État de l'art sur les méthodes de déploiement des systèmes temps réel
Conclusion
RYM : UNE APPROCHE BASÉE SUR LES RYTHMES POUR LE PRÉ-DÉPLOIEMENT DES RTES CRITIQUES
Introduction
Principe général
Étude de cas
Comparaison
Outil
Conclusion
PERSONNALISATION DU LOGICIEL D'AUTOPULOTES DE DRONES À TRAVERS UN GFRAMEWORK DE RÉTRO-INGÉNIERIE
Introduction
État de l'art sur la visualisation logicielle et la rétro-ingénierie
Conception des autopilotes des UAV
Architecture logicielle abstraite d'un autopilote
Exemple motivationnel
Architecture de Paparazzi
Concepts spécifiques dans l'architecture logicielle des autopilotes
Implémentaiton du framework
État de l'art sur les systèmes à décalage libre (offset-free)
Application
Conclusion
CONCLUSION GÉNÉRALE
En ligne : https://theses.hal.science/tel-04399687 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 KAM KAM Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
