Assas Recherche | Aide à la validation temporelle et au dimensionnement de systèmes temps réels dans une démarche dirigée par modèles

Aide à la validation temporelle et au dimensionnement de systèmes temps réels dans une démarche dirigée par modèles (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 : Nguyen Thanh Dat

Nguyen, Thanh Dat

Nom

Nguyen

Prénom

Thanh Dat

Nationalité

Date de soutenance : 10-07-2020

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 :

AADL (informatique)
Analyse temporelle
Ingénierie dirigée par les modèles
Ordonnancement (informatique)
Analyse des systèmes
Conception de systèmes informatiques
Systèmes embarqués (informatique)
Temps réel (informatique)

Résumé : Les systèmes embarqués temps réel sont de plus en plus omniprésents dans la vie quotidienne. Le cycle de développement des systèmes embarqués temps réel critiques peut prendre des mois voire des années. Par conséquent, la modélisation de ces systèmes doit être analysée à un stade précoce du cycle de développement afin de vérifier si toutes les exigences sont satisfaites, y compris les exigences relatives à la performance temporelle (par exemple, les latences, les délais de bout en bout, etc.). Cette thèse, qui a été financée dans le cadre d’un projet FUI, propose trois contributions majeures. La première contribution porte sur le système de tâches monoprocesseur avec des relations de communication multi-périodique déterministe. Un pattern basé sur les relations de précédence avec sémaphore (SPC) a été étendu afin de supporter les cycles dans le cas d’ordonnancement à priorités dynamiques. Un graphe de dépliage a été également proposé afin de présenter la cyclicité des systèmes à base de SPC et garantir le non- blocage. Le pattern SPC étendu ainsi que le test d’ordonnançabilité correspondant ont été implémentés pour le langage standard AADL.La deuxième contribution de cette thèse consiste en la proposition d’un calcul exact de temps de réponse de bout en bout, en utilisant le formalisme de réseau de Petri temporel, pour les systèmes multiprocesseurs identiques. Il prend en compte la dépendance entre les tâches : la précédence et l’exclusion mutuelle sans protocole de gestion. La troisième contribution porte sur la capitalisation des efforts du processus d’analyse. En effet, de nombreux tests d’analyse ont été proposés, notamment par des chercheurs académiques, basés sur la théorie d’ordonnancement et dédiés aux différentes architectures logicielles et matérielles. Cependant, l’une des principales difficultés rencontrées par les concepteurs est de choisir le test d’analyse le plus approprié permettant de valider et/ou de dimensionner correctement leurs conceptions. Cette difficulté se concrétise, dans le milieu industriel, par le peu de tests d’analyse utilisés malgré la multitude de tests proposés. Cette thèse vise donc à faciliter le processus d’analyse, réduire le fossé sémantique entre le modèle métier et les entrées des tests d’analyse ainsi qu’accélérer le transfert technologique et l’adoption des tests académiques. La thèse propose un référentiel d’analyse jouant le rôle d’un dictionnaire de tests, leurs contextes pour une utilisation correcte, les outils les implémentant, ainsi qu’un mécanisme pour le choix des tests selon le modèle métier d’entrée.

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 : 2020ESMA0007
Type de ressource : Thèse

Fiche descriptive