Loading...
conference paper
Direct Model-checking of SysML Models
January 1, 2021
Proceedings Of The 9Th International Conference On Model-Driven Engineering And Software Development (Modelsward)
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.
Type
conference paper
Web of Science ID
WOS:000662840600020
Authors
Publication date
2021-01-01
Publisher
Published in
Proceedings Of The 9Th International Conference On Model-Driven Engineering And Software Development (Modelsward)
ISBN of the book
978-989-758-487-9
Publisher place
Setubal
Start page
216
End page
223
Peer reviewed
REVIEWED
EPFL units
Event name | Event place | Event date |
ELECTR NETWORK | Feb 08-10, 2021 | |
Available on Infoscience
July 17, 2021
Use this identifier to reference this record