ModelRun, a model transformation method for complex system models properties checking by 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
Résumé
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.
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.
Fichier principal
These-2021-MATHSTIC-Informatique-DUHIL_Christophe.pdf (8.17 Mo)
Télécharger le fichier
Origine | Version validée par le jury (STAR) |
---|