Chaining Model Transformations for System Model Verification : Application to Verify Capella Model with Simulink - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Chaining Model Transformations for System Model Verification : Application to Verify Capella Model with Simulink

Christophe Duhil
  • Fonction : Auteur
  • PersonId : 1073033
Jean-Luc Voirin
  • Fonction : Auteur
  • PersonId : 1073034
Juan Navas
  • Fonction : Auteur
  • PersonId : 865172

Résumé

In the context of Model-Based System Engineering (MBSE), Thales has developed a method called Arcadia, and its dedicated workbench Capella. This approach provides engineer generic practices and tools to design system models in a coherent way. While models grew in complexity, the need emerged for model Simulation and verification. In this paper, a model based approach is proposed to provide an interpretation of the Capella dynamic behavior description of modeled systems. The approach allows targeting different semantics and facilitating reuse of legacy semantics. The idea is to enforce separation of concerns of semantics definition by defining a chain of five transformations. The approach ensures traceability between Capella source models and target models, facilitating interpretation of the verification results. We apply our approach to analyze dataflow diagrams of a Capella "clock radio" model. For this purpose we transform the Capella dataflow model to a Simulink model. The experimentation on the use case demonstrates the ability of the tool to catch model inconsistency problems.
Fichier principal
Vignette du fichier
Chaining_Model_Transformations_to_Verify_Capella_Models__modelSward___short__(2).pdf (500.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02866122 , version 1 (12-06-2020)

Identifiants

Citer

Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan Navas. Chaining Model Transformations for System Model Verification : Application to Verify Capella Model with Simulink. 8th International Conference on Model-Driven Engineering and Software Development, Feb 2020, Valletta, Malta. pp.279-286, ⟨10.5220/0008902302790286⟩. ⟨hal-02866122⟩
212 Consultations
444 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More