Direct Model-checking of SysML Models

Alessandro Calvino, Alessandro Calvino, Ludovic Apvrille

Abstract

Model-checking intends to verify whether a property is satisfied by a model, or not. Model-checking of high-level models, e.g. SysML models, usually first requires a model transformation to a low level formal specification. The present papers proposes a new model-checker that can be applied (almost) directly to the SysML model. The paper first explains how this model-checker works. Then, we explain how it can efficiently check CTL-like properties. Finally, the paper discusses the performance of this model-checker integrated in the TTool framework.

Download


Paper Citation


in Harvard Style

Calvino A. and Apvrille L. (2021). Direct Model-checking of SysML Models.In Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-487-9, pages 216-223. DOI: 10.5220/0010256302160223


in Bibtex Style

@conference{modelsward21,
author={Alessandro Calvino and Ludovic Apvrille},
title={Direct Model-checking of SysML Models},
booktitle={Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2021},
pages={216-223},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010256302160223},
isbn={978-989-758-487-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Direct Model-checking of SysML Models
SN - 978-989-758-487-9
AU - Calvino A.
AU - Apvrille L.
PY - 2021
SP - 216
EP - 223
DO - 10.5220/0010256302160223