Skip to Main content Skip to Navigation
Conference papers

Direct Model-checking of SysML Models

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Ludovic Apvrille Connect in order to contact the contributor
Submitted on : Tuesday, September 21, 2021 - 11:28:32 AM
Last modification on : Tuesday, October 19, 2021 - 11:15:21 AM
Long-term archiving on: : Wednesday, December 22, 2021 - 6:06:44 PM


Files produced by the author(s)



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⟩



Record views


Files downloads