{"id":9966,"date":"2023-08-30T08:31:06","date_gmt":"2023-08-30T08:31:06","guid":{"rendered":"https:\/\/incose.nl\/verum-formal-verification-with-sysml-2-0\/"},"modified":"2023-09-06T12:54:14","modified_gmt":"2023-09-06T12:54:14","slug":"verum","status":"publish","type":"page","link":"https:\/\/incose.nl\/en\/workshop-2023\/verum\/","title":{"rendered":"Verum"},"content":{"rendered":"
\"INCOSE-NL<\/a><\/div><\/div><\/div><\/div><\/div><\/section>
\"\"<\/div><\/div>

Karol Kobiela<\/strong><\/h2>\n<\/div><\/div>

\u00a0Model-based software engineer at Verum Software Tools<\/span><\/em><\/p>\n<\/div><\/div><\/div><\/div>

Workshop: Formal verification with SysML 2.0<\/h2>\n

10:30 – 12:00<\/p>\n<\/div><\/div>

<\/div>

Abstract<\/span><\/span><\/strong>
\nThe goal of this workshop is to introduce the audience to a way of integrating form<\/span>al m<\/span>ethods with<\/span>in the <\/span>c<\/span>ontext<\/span> of<\/span> the <\/span>Sy<\/span>sML<\/span> V<\/span>2 mod<\/span>eli<\/span>n<\/span>g lang<\/span>uage<\/span>. We ai<\/span>m<\/span> to pres<\/span>e<\/span>nt<\/span> our motiva<\/span>t<\/span>ions a<\/span>nd address s<\/span>ome<\/span> lim<\/span>itations of <\/span>S<\/span>y<\/span>sML<\/span> V<\/span>2. Durin<\/span>g the <\/span>w<\/span>orks<\/span>h<\/span>op, we wil<\/span>l<\/span> showcase<\/span> a<\/span>n<\/span> e<\/span>x<\/span>ample <\/span>w<\/span>orkflow for<\/span> form<\/span>ally <\/span>veri<\/span>fying a <\/span>S<\/span>ys<\/span>ML<\/span> mode<\/span>l using the Dezyne lan<\/span>gua<\/span>g<\/span>e, offering feedb<\/span>a<\/span>ck a<\/span>b<\/span>out <\/span>bugs <\/span>and log<\/span>i<\/span>cal issues<\/span>. <\/span>Ult<\/span>ima<\/span>t<\/span>ely, <\/span>the<\/span> example<\/span> model<\/span> will be translated i<\/span>nto dep<\/span>loyable, form<\/span>ally <\/span>verified ta<\/span>rg<\/span>e<\/span>t code<\/span><\/span>.<\/span><\/span>\u00a0<\/span><\/p>\n

Bio Karol Kobiela<\/em><\/strong>
\nMulti-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.\u202f\u00a0<\/em><\/p>\n

Background in embedded systems, safety critical applications, dynamic control systems combined with model-based testing.\u00a0\u00a0<\/em><\/p>\n<\/div><\/div>

<\/div><\/div><\/div><\/div><\/div><\/section>
Back to the program<\/span><\/a><\/div><\/div><\/div><\/div><\/div><\/section>\n","protected":false},"excerpt":{"rendered":"Karol Kobiela \u00a0Model-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...","protected":false},"author":402,"featured_media":0,"parent":9710,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-9966","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/incose.nl\/en\/wp-json\/wp\/v2\/pages\/9966","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/incose.nl\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/incose.nl\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/incose.nl\/en\/wp-json\/wp\/v2\/users\/402"}],"replies":[{"embeddable":true,"href":"https:\/\/incose.nl\/en\/wp-json\/wp\/v2\/comments?post=9966"}],"version-history":[{"count":5,"href":"https:\/\/incose.nl\/en\/wp-json\/wp\/v2\/pages\/9966\/revisions"}],"predecessor-version":[{"id":10261,"href":"https:\/\/incose.nl\/en\/wp-json\/wp\/v2\/pages\/9966\/revisions\/10261"}],"up":[{"embeddable":true,"href":"https:\/\/incose.nl\/en\/wp-json\/wp\/v2\/pages\/9710"}],"wp:attachment":[{"href":"https:\/\/incose.nl\/en\/wp-json\/wp\/v2\/media?parent=9966"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}