Assas Recherche | Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle

Contributions à la conception à base de modèles des systèmes temps réel en vue de leur analyse de performance temporelle (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 : Bui Long (Bui Long), Anh Toan

Bui Long (Bui Long), Anh Toan

Nom

Bui Long

Nom de naissance

Bui Long

Prénom

Anh Toan

Nationalité

Français

Date de soutenance : 20-12-2018

Directeur(s) de thèse : Grolleau Emmanuel

Grolleau, Emmanuel

Nom

Grolleau

Prénom

Emmanuel

- Ouhammou Yassine

Ouhammou, Yassine

Nom

Ouhammou

Prénom

Yassine

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 Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018)

École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018)

Nom

École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018)

Informations générales

Discipline : Informatique et applications
Classification : Informatique

Mots-clés libres : Systèmes critiques, Langages de modélisation
Mots-clés :

Ingénierie dirigée par les modèles
Temps réel (informatique)
Ordonnancement dynamique
Analyse temporelle
Systèmes à paramètres répartis
Conception de systèmes informatiques
Analyse des systèmes
Modélisation des données (informatique)
Tolérance aux fautes (informatique)

Résumé : La validation temporelle des systèmes temps réel est nécessaire dans le cadre d’applications critiques tels l’aéronautique, le spatial ou l’automobile. Il s’agit, dans ces systèmes, de garantir les temps de réponse des tâches ainsi que le déterminisme de leurs communications. En raison de la complexité des systèmes actuels ainsi que de leur criticité, il est nécessaire de mettre en place une démarche de conception réduisant le temps de développement et ainsi le temps de mise en marché (time-to-market), tout en réduisant les risques d’erreurs de conception.Ce contexte rend l’ingénierie dirigée par les modèles particulièrement adaptée au développement de ce type de système. Les contributions de cette thèse partent des constats suivants. Premièrement, malgré la multitude des modèles d’analyses existants les modèles actuels ne peuvent retranscrire de nombreux cas rencontrés en industrie. Pour pouvoir analyser ces cas, il est nécessaire de les adapter `a l’analyse. Le deuxième constat porte sur l’adaptation qui n’est toujours pas simple surtout quand il existe une disparité sémantique entre les langages de description d’architecture et les modèles d’analyse ce qui nécessite de les rapprocher. Le dernier constat porte sur les difficultés dans la modélisation des systèmes distribués complexes car à moins de connaître le système complet, la représentation globale et sa validation temporelle reste coûteuse.Cette thèse propose des outils et méthodes pour améliorer le processus de modélisation et d’analyses temps réel. La première contribution consiste en la mise en place d’un référentiel de transformation de modèles endogène pour effectuer une adaptation conservative des modèles industriels aux modèles d’analyses. Dans l’optique de réduire l’écart sémantique entre les langages de description et les modèles d’analyse, cette thèse propose également une modélisation incrémentale des réseaux temps réel en vue de leur validation temporelle car les langages existants les considèrent de fa¸con limitée. La troisième contribution de la thèse porte sur la réduction des artéfacts de modélisation par extraction et élagage de méta-modèles afin d’obtenir les éléments nécessaires par rapport au points de vue d’analyse souhait´es.Toutes ces contributions sont implémentées dans des frameworks intégrant les processus d’analyses temps réel tels Time4Sys et MoSaRT et utilisées, dans le cadre d’un projet collaboratif, par des partenaires industriels.

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 : 2018ESMA0020
Type de ressource : Thèse

Fiche descriptive