Meta-models Combination for Reusing Verification Techniques

Hui Zhao, Ludovic Apvrille, Frédéric Mallet

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 involves its domain-specific modeling language (DSML), How to combine various DSMLs was a challenging problem. Rather than build-in all analysis and modeling 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 paper proposes a set of transformation operators to manipulate (AADL and SysML) metamodels. We show that we can thus enrich platform capacities by blending different 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.

Paper Citation

in Harvard Style

Zhao H., Apvrille L. and Mallet F. (2019). Meta-models Combination for Reusing Verification Techniques.In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-358-2, pages 39-50. DOI: 10.5220/0007261000390050

in Bibtex Style

@conference{modelsward19,
author={Hui Zhao and Ludovic Apvrille and Frédéric Mallet},
title={Meta-models Combination for Reusing Verification Techniques},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2019},
pages={39-50},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007261000390050},
isbn={978-989-758-358-2},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Meta-models Combination for Reusing Verification Techniques
SN - 978-989-758-358-2
AU - Zhao H.
AU - Apvrille L.
AU - Mallet F.
PY - 2019
SP - 39
EP - 50
DO - 10.5220/0007261000390050