- Recherche et sélection de publications
|
Meta-models Combination for Reusing Verification Techniques
- Hui Zhao, Ludovic Apvrille, Frédéric Mallet
-
- References
- 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Prague, Czech Republic, February 2019,
- Abstract
The complexity of Cyber-Physical Systems (CPSs) is rapidly increasing because more and more aspects have been considered during the design phase. Each aspect h
as involved their domain-specific modeling language (DSML), How to combine various DSMLs was a challenging problem. Rather than build-in all analysis and model
ing capacities, we prefer with independent domain specific metamodels and link them together.
In this paper, we show how to use a coordinated metamodel approach as a systematic way to gather diverse domain models and cross-cutting concerns. Thus, the pa
per proposes a set of transformation operators to manipulate (AADL and SysML) metamodels. We show that we can thus enrich platform capacities by blending diffe
rent languages seamlessly, as well as perform the functional and scheduling analysis respectively through concrete models. A train traction controlling system
serves as a case study.
- Keywords
- Meta-model, model, simulation, verification, model-based engineering, UML, SysML, model transformation, CPS
- Category
- Paper in proceedings
- Research Area(s)
- Identifier(s)
-
Bibliographic key HZ-MOD-19
- Export
-
- Last update
- on february 21, 2019 by Ludovic Apvrille
|
