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.
Ask episode
AI Snips
Chapters
Books
Transcript
Episode notes
ANECDOTE

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.
INSIGHT

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.
ADVICE

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.
Get the Snipd Podcast app to discover more snips from this episode
Get the app