| 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 |
Faire une suggestion Affiner la rechercheUn framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones
