Model-based software engineer at Verum Software Tools
Workshop: Formal verification with SysML 2.0
10:30 – 12:00
Abstract
Het doel van de workshop is om de deelnemers kennis te laten maken met een manier om formele methoden te integreren binnen de context van de modelleertaal SysML V2. We willen onze motivaties presenteren en enkele beperkingen van SysML V2 aanpakken. Tijdens de workshop laten we een voorbeeldworkflow zien voor het formeel verifiëren van een SysML model met behulp van de Dezyne taal, waarbij we feedback geven over bugs en logische problemen. Uiteindelijk zal het voorbeeldmodel worden vertaald naar implementeerbare, formeel geverifieerde uitvoerbare code.
Bio Karol Kobiela
Multi-domain Systems Engineer gespecialiseerd in Model Based Design. Afgestudeerd in automation systems en dynamics and control of autonomous vehicles. Ervaring met bedrijven als Boeing, Carrier, UTC.
Achtergrond in embedded systemen, veiligheidskritische toepassingen, dynamic control systems gecombineerd met model-based testen.