Direct Model-checking of SysML Models - Archive ouverte HAL Access content directly
Conference Papers Year :

Direct Model-checking of SysML Models


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.
Fichier principal
Vignette du fichier
Modelsward2021_TempiaCalvino_Apvrille.pdf (269.73 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03349263 , version 1 (21-09-2021)



Alessandro Tempia Calvino, Ludovic Apvrille. Direct Model-checking of SysML Models. 9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Online Streaming, Austria. pp.216-223, ⟨10.5220/0010256302160223⟩. ⟨hal-03349263⟩
105 View
98 Download



Gmail Facebook Twitter LinkedIn More