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

Christophe Duhil, Jean-Philippe Babau, Eric Lepicier, Jean-Luc Voirin, Juan Navas

2020

Abstract

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.

Paper Citation

in Harvard Style

Duhil C., Babau J., Lepicier E., Voirin J. and Navas J. (2020). Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. In Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-400-8, pages 279-286. DOI: 10.5220/0008902302790286

in Bibtex Style

@conference{modelsward20,
author={Christophe Duhil and Jean-Philippe Babau and Eric Lepicier and Jean-Luc Voirin and Juan Navas},
title={Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink},
booktitle={Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2020},
pages={279-286},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008902302790286},
isbn={978-989-758-400-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink
SN - 978-989-758-400-8
AU - Duhil C.
AU - Babau J.
AU - Lepicier E.
AU - Voirin J.
AU - Navas J.
PY - 2020
SP - 279
EP - 286
DO - 10.5220/0008902302790286