Assas Recherche | ModelRun, une méthode de transformations de modèles pour la vérification de propriétés de modèles de systèmes complexes par simulation

ModelRun, une méthode de transformations de modèles pour la vérification de propriétés de modèles de systèmes complexes par simulation (Document en Français)

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 : Duhil Christophe

Duhil, Christophe

Nom

Duhil

Prénom

Christophe

Nationalité

Français

Date de soutenance : 07-04-2021

Directeur(s) de thèse : Babau Jean-Philippe

Babau, Jean-Philippe

Nom

Babau

Prénom

Jean-Philippe

Etablissement de soutenance : Brest

Brest

Nom

Brest

Laboratoire : Laboratoire en sciences et techniques de l'information, de la communication et de la connaissance (Brest ; 2012-....)

Laboratoire en sciences et techniques de l'information, de la communication et de la connaissance (Brest ; 2012-....)

Nom

Laboratoire en sciences et techniques de l'information, de la communication et de la connaissance (Brest ; 2012-....)

Ecole doctorale : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)

École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)

Nom

École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)

Informations générales

Discipline : Informatique
Classification : Informatique

Mots-clés libres : Ingénierie dirigée par les modèles, Transformation de modèles, Ingénierie système, Simulation de modèles, Grammaires de graphes
Mots-clés :

Conception de systèmes informatiques
Simulation, Méthodes de

Résumé : Pour maîtriser la conception de systèmes complexes, tels que les véhicules, les drones, les satellites, les ingénieurs utilisent des méthodes de conception basées sur les modèles. Les systèmes complexes sont modélisés sous la forme d’un ensemble de diagrammes généralement exprimés dans des sémantiques hétérogènes mais non exécutables. Le besoin émerge alors de vérifier la cohérence des modèles entre eux, notamment dans leur aspect comportemental. Dans cette thèse nous proposons une méthode appelée « ModelRun » permettant de transformer un ensemble de vues d’un modèle d’ingénierie en un modèle exécutable. Notre méthode comprend cinq étapes ; la sélection des concepts à vérifier, la réorganisation de ces concepts en vue de l’alignement avec le domaine de simulation, l’alignement avec les concepts du domaine de simulation, l’ajout d’informations nécessaires à la simulation et l’adaptation de ces informations. Notre méthode s’appuie sur un formalisme de grammaire de graphes triples. Chaque transformation fait l’objet d’une traçabilité permettant d’interpréter les résultats des simulations au regard des concepts sources du modèle d’ingénierie. Pour valider notre approche, nous appliquons « ModelRun » à un modèle de système de drone.

Informations techniques

Type de contenu : Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

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

Identifiant : 2021BRES0026
Type de ressource : Thèse

Fiche descriptive