Papers Papers/2022 Papers Papers/2022



Paper Unlock

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

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

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

Related Ontology Subjects/Areas/Topics: Domain-Specific Modeling and Domain-Specific Languages ; Hybrid Multi-Modeling Approaches ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model Transformation ; Model Transformations and Generative Approaches ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering ; Systems Engineering

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.


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

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 - MODELSWARD; ISBN 978-989-758-358-2; ISSN 2184-4348, SciTePress, pages 39-50. DOI: 10.5220/0007261000390050

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


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