
The MBSE Podcast Episode 60: The SysML v2 Book with Tim Weilkiens and Vince Molnár
Sep 17, 2025
Tim Weilkiens, systems modeling author and co-chair of SysML v2.1, teams up with Vince Molnár, associate professor and formal verification expert active in KerML and SysML v2. They discuss the SysML v2 book, KerML as a formal kernel, the shift to text syntax and precise semantics, tooling and API-driven automation, and teaching, certification, and adoption paths.
AI Snips
Chapters
Books
Transcript
Episode notes
How The Coauthor Partnership Started
- Vince approached Tim in San Francisco and two days later proposed coauthoring the book, which Tim accepted.
- Vince described being a teacher wanting to explain SysML v2 to mortals and that starting with a moving target was hard.
Book Structure Covers Both Practice And Reference
- The book is organized into eight parts covering foundations, practical usage, API, KerML, element reference, and libraries.
- Tim Weilkiens explained part two is a long practical guide and part five is a system element reference for lookups.
Explain Patterns Not Just Elements
- Teach how to use language elements, not just list them; provide patterns and combinations that achieve real goals.
- Vince emphasized the book gives 'SysML in a nutshell' then expands into practical modeling patterns.







