Kevin Jilissen: Behavioral comparison of SysML and Dezyne models

Event Details

In this talk, I will focus on a work-in-progress behavioral abstraction enabling the comparison of two modelling methods. The first method is an adaption of the current modelling methodology at Rijkswaterstaat for tunnel control systems based on SysML Activity Diagrams, as introduced in my previous talk. The second method relies on the Dezyne specification language by Verum. Ideally, both modelling methods should describe the same system when starting from some shared specification. As these modelling methods have totally different characteristics for a.o. atomicity in the resulting state space, the presented abstraction enables reasoning about the equivalence of the behavior contained in both models.