No items found.

Pragmatic Verification and Validation of Industrial Executable SysML Models

January 24, 2023

Pragmatic Verification and Validation of Industrial Executable SysML Models

Check out the video about the results of the research collaboration between IncQuery and the Critical Systems Research Group.

In this video, our colleague, Benedek Horváth talks about how they built a Cloud-based verification and validation workflow to check the correctness of industrial behavioral SysML model. They used the IncQuery Suite to check the structural correctness and consistency of the models. In the returned validation reports, users could inspect the erroneous model elements directly in the browser, using the IncQuery Model Viewer.

This way, they do not have to install anything on their machines, just use the browser to interact with the verification and validation workflow.

A detailed summary of the project is available at https://medium.com/@benedek.horvath/pragmatic-model-checking-of-industrial-behavioral-sysml-models-fe0a80fd72a8