TY - GEN
T1 - Direct Model-checking of SysML Models
AU - Calvino, Alessandro Tempia
AU - Apvrille, Ludovic
N1 - Publisher Copyright:
© 2021 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved.
PY - 2021/1/1
Y1 - 2021/1/1
N2 - 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.
AB - 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.
KW - Embedded Systems
KW - Formal Verification
KW - Model-checking
KW - SysML
UR - https://www.scopus.com/pages/publications/85173923910
U2 - 10.5220/0010256302160223
DO - 10.5220/0010256302160223
M3 - Conference contribution
AN - SCOPUS:85173923910
SN - 9789897584879
T3 - International Conference on Model-Driven Engineering and Software Development
SP - 216
EP - 223
BT - MODELSWARD 2021 - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development
A2 - Seidewitz, Edwin
A2 - Ferreira Pires, Luís
A2 - Hammoudi, Slimane
PB - Science and Technology Publications, Lda
T2 - 9th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021
Y2 - 8 February 2021 through 10 February 2021
ER -