Back

From a Simple to a Formalized Example

  • Date March 26, 2025

In this live session, we will show you a very simple example from the requirements to the architecture and the verification. Then we will formalize the model step by step, for example to enable automatic verification. The demo gives you...

Membership Required

You must be a member to access this event.

View Membership Levels

Already a member? Log in here
Tim Weilkiens

Tim is a member of the executive board of the German consulting company oose, an MBSE consultant and trainer, and an active member of the OMG and INCOSE communities. He is a co-author of the SysML v1 specification, was co-chair of the task forces responsible for the last SysML v1 versions, and is actively involved in the ongoing work on SysML v2. He was co-chair of the task force responsible for the final submission of SysML v2, and is now co-chair of the SysML v2.1 revision task force (RTF). Tim is involved in numerous MBSE activities, and you can meet him at several conferences focused on MBSE and related topics.

As a consultant, he has advised many companies in different domains. His insights into their challenges are one source of his experience that he shares in books and presentations.