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, a model transformation method for complex system models properties checking by simulation

• Auteur / Autrice : Christophe Duhil
• Direction : Jean-Philippe Babau
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 07/04/2021
• Etablissement(s) : Brest
• Ecole(s) doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)
• Partenaire(s) de recherche : Laboratoire : Laboratoire en sciences et techniques de l'information, de la communication et de la connaissance
• Jury : Président / Présidente : Frédéric Boulanger
• Jury : Examinateurs / Examinatrices : Jean-Philippe Babau, Frédéric Boulanger, Sébastien Gérard, Julien Deantoni, Jean-Luc Voirin, Isabelle Borne
• Jury : Rapporteurs / Rapporteuses : Sébastien Gérard, Julien Deantoni

Mots clés

Mots clés contrôlés

Simulation, Méthodes de

Systèmes, Conception de

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

Model driven engineering

Model transformation

System engineering

Model simulation

Graph grammar

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.

To master the design of complex systems, such as vehicles, UAVs, satellites, engineers use model-based design methods.Complex systems are modelled as a set of diagrams usually based on heterogeneous semantics.The need then emerges to verify the coherence of the models between them, particularly in their behavioural aspect. In this thesis, we propose a method called« ModelRun » to transform a set of views of an engineering model into an executable model. Our method consists of five steps; the selection of the concepts to be verified, the refactoring of these concepts in order to map them with the simulation domain, the mapping with the concepts of the simulation domain, the enrichment with information necessary for the simulation and the adaptation of this information. Our method is based on a triple graph grammar formalism.Each transformation is subject to a traceability allowing the interpretation of the simulation results with respect to the source concepts of the engineering model. To validate our approach, we apply « ModelRun » to a UAV system model.