Model-based software engineer at Verum Software Tools
Workshop: Formal verification with SysML 2.0
10:30 – 12:00
Abstract
The goal of this workshop is to introduce the audience to a way of integrating formal methods within the context of the SysML V2 modeling language. We aim to present our motivations and address some limitations of SysML V2. During the workshop, we will showcase an example workflow for formally verifying a SysML model using the Dezyne language, offering feedback about bugs and logical issues. Ultimately, the example model will be translated into deployable, formally verified target code.
Bio Karol Kobiela
Multi-domain Systems Engineer specialized in Model Based Design. Graduated in automation systems as well as dynamics and control of autonomous vehicles. Experience with companies such as Boeing, Carrier, UTC.
Background in embedded systems, safety critical applications, dynamic control systems combined with model-based testing.