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

Un framework d’aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones (Document en Français, Anglais, Anglais, Anglais, Anglais)

Accès au(x) document(s)

Accéder au(x) document(s) :

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :

Thèse consultable sur internet, en texte intégral.

Informations sur les contributeurs

Auteur : Kamni (Kamni), Soulimane

Kamni (Kamni), Soulimane

Nom

Kamni

Nom de naissance

Kamni

Prénom

Soulimane

Nationalité

Date de soutenance : 20-12-2023

Directeur(s) de thèse : Grolleau Emmanuel

Grolleau, Emmanuel

Nom

Grolleau

Prénom

Emmanuel

- Ouhammou Yassine

Ouhammou, Yassine

Nom

Ouhammou

Prénom

Yassine

- Bertout Antoine

Bertout, Antoine

Nom

Bertout

Prénom

Antoine

Etablissement de soutenance : Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Nom

Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique

Laboratoire : Laboratoire d'Informatique et d'Automatique pour les Systèmes / LIAS

Laboratoire d'Informatique et d'Automatique pour les Systèmes / LIAS

Nom

Laboratoire d'Informatique et d'Automatique pour les Systèmes / LIAS

Ecole doctorale : École doctorale Mathématiques, informatique, matériaux, mécanique, énergétique (Poitiers ; 2022-....)

École doctorale Mathématiques, informatique, matériaux, mécanique, énergétique (Poitiers ; 2022-....)

Nom

École doctorale Mathématiques, informatique, matériaux, mécanique, énergétique (Poitiers ; 2022-....)

Informations générales

Discipline : Informatique et applications
Classification : Informatique

Mots-clés libres : Déploiement de systèmes, Framework
Mots-clés :

Drones
Durée de vie (ingénierie)
Ingénierie dirigée par les modèles
Ordonnancement (informatique)
Conception de systèmes informatiques
Systèmes embarqués (informatique)
Temps réel (informatique)

Résumé : Cette thèse porte sur la conception des systèmes embarqués temps réel critiques. Elle se concentre plus particulièrement sur la phase cruciale de déploiement, où les fonctions du système sont allouées aux tâches logicielles. La thèse débute par une présentation approfondie du contexte des systèmes embarqués temps réel, de leurs spécificités et de leur cycle de vie logiciel. Puis, le domaine de l’ordonnancement temps réel est introduit, en détaillant les modèles de tâches, les algorithmes d’ordonnancement et les tests de validation temporelle. Sur ces bases, deux contributions originales sont proposées pour faciliter le déploiement dans un contexte où les informations sur le comportement temporel des fonctions restent limitées. La première est la méthode RYM, une technique de pré-déploiement des systèmes mono-processeur basée sur les rythmes d’activation. Un outil logiciel est également développé pour valider cette approche. La seconde contribution est un framework pour extraire, modéliser et analyser l’architecture interne des autopilotes open-source de drones à partir du code source. Ce framework est appliqué pour adapter une technique avancée d’ordonnancement à l’autopilote Paparazzi. Ces deux contributions apportent des réponses au problème difficile du déploiement des systèmes embarqués critiques avec des informations partielles. Elles s’appuient toutes les deux sur des développements de prototypes ouverts basés ingénierie dirigée par les modèles, permettant une adaptation rapide à d’autres outils d’analyse.

Informations techniques

Type de contenu : Text, Text, Text, Text, Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2023ESMA0014
Type de ressource : Thèse

Fiche descriptive