Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones / Soulimane KAMNI  

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és Caté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

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 - 2 / 2) Par page : 25 50 100 200