loading
Papers

Research.Publish.Connect.

Paper

Authors: Hui Zhao 1 ; Ludovic Apvrille 2 and Frédéric Mallet 1

Affiliations: 1 Université Côte d’Azur, I3S, INRIA, France ; 2 LTCI, Telecom ParisTech, Université Paris Saclay, France

ISBN: 978-989-758-358-2

Keyword(s): CPSs, MBSE, AADL, Arcadia, Model Transformation.

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.85.245.126

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.