The SysML v2 Book

The SysML v2 Book

Practical Insights and Comprehensive Reference

About the Book

This is a prerelease! The book is not yet complete. As a reader, you will receive all updates on Leanpub free of charge. The price of the prerelease is significantly lower than the final book price. As soon as the book is complete, it will receive an ISBN number and will also be available as a print version.

We are also happy to receive any feedback from you about the book that we can consider for the upcoming updates. 

Dive into the world of MBSE with 'The SysML v2 Book: Practical Insights and Comprehensive Reference.' Tailored for both novices and seasoned professionals in model-based systems engineering, this book serves as an indispensable guide to mastering the new generation of the System Modeling Language Version 2 (SysML v2).

Embark on your journey with a clear introduction to the foundational concepts of SysML v2, providing a solid grounding for all readers, including those new to the field. The book also covers more complex subjects, offering a comprehensive exploration that encapsulates the full spectrum of SysML applications.

Examples are integrated throughout the text to illustrate practical applications, aiding in the understanding of how SysML v2 can be applied to various scenarios in systems engineering.

Written by experts with firsthand experience who are actively involved in the development of SysML v2, "The SysML v2 Book" aims to be a thorough and reliable resource for anyone looking to understand and apply SysML v2 in their work.

About the Authors

Tim Weilkiens
Tim Weilkiens

Tim is a member of the executive board of the German consulting company oose, an MBSE coach, and an active member of the OMG and INCOSE communities. He has written sections of the initial SysML specification and is a co-chair of the SysML v2 finalization task force.

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

Tim is a co-host of The MBSE Podcast.

All books written by Tim Weilkiens, including books not published by MBSE4U, can be found here.

You can contact him at tim@mbse4u.com and read his blog posts about MBSE in the MBSE4U blog.

Vince Molnár
Vince Molnár

Vince is an associate professor at the Budapest University of Technology and Economics, Hungary. He earned his PhD in the field of formal methods. He has been teaching MBSE to university students and industrial partners since 2015. His main research interest is the application of formal methods in systems engineering to help unleash the full potential of MBSE, particularly in the domain of critical systems.

Vince is an active member of the OMG, where he participated in the development of the KerML and SysML v2 specifications, authoring parts of the KerML semantics. He is the leader of two working groups in the OMG's Systems Modeling Community. In the Formal Methods WG, he is working with academic and industry experts to bring formal analysis and verification techniques into systems engineering via SysML v2. The Conformance WG is responsible for the development of a test suite to assess the conformance of SysML v2 tools. He is also an active member of the Semantics WG, working on the mathematical foundations of the KerML and SysML languages, as well as the Execution WG, aiming to apply the semantics in the execution of SysML models.

Vince is leading the development of the open-source Gamma Framework, a tool to bridge the gap between engineering models and formal methods, which became the first tool to support the verification of SysML v2 models. In his mission of bringing research results closer to industrial practice, he has been developing the required tooling and methodology in the frame of several EU projects and industrial collaborations, and he is always open to venture further into uncharted territory with like-minded allies from industry and academia.

You can find the list of his scientific publications here, and more information on his website.

About the Publisher

This book is published on Leanpub by MBSE4U

Lean Publishing for MBSE

MBSE4U is a lean publishing house for MBSE books with up-to-date content that follows the dynamic changes in the MBSE community and markets.

MBSE4U aims to provide knowledge, practice, and more about MBSE. It offers publications about MBSE methodologies and methods such as SYSMOD, VAMOS, FAS, and MBSE Craftsmanship.

The Leanpub 60 Day 100% Happiness Guarantee

Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.

Now, this is technically risky for us, since you'll have the book or course files either way. But we're so confident in our products and services, and in our authors and readers, that we're happy to offer a full money back guarantee for everything we sell.

You can only find out how good something is by trying it, and because of our 100% money back guarantee there's literally no risk to do so!

So, there's no reason not to click the Add to Cart button, is there?

See full terms...

Earn $8 on a $10 Purchase, and $16 on a $20 Purchase

We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.

(Yes, some authors have already earned much more than that on Leanpub.)

In fact, authors have earnedover $14 millionwriting, publishing and selling on Leanpub.

Learn more about writing on Leanpub

Free Updates. DRM Free.

If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).

Most Leanpub books are available in PDF (for computers) and EPUB (for phones, tablets and Kindle). The formats that a book includes are shown at the top right corner of this page.

Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.

Learn more about Leanpub's ebook formats and where to read them

Write and Publish on Leanpub

You can use Leanpub to easily write, publish and sell in-progress and completed ebooks and online courses!

Leanpub is a powerful platform for serious authors, combining a simple, elegant writing and publishing workflow with a store focused on selling in-progress ebooks.

Leanpub is a magical typewriter for authors: just write in plain text, and to publish your ebook, just click a button. (Or, if you are producing your ebook your own way, you can even upload your own PDF and/or EPUB files and then publish with one click!) It really is that easy.

Learn more about writing on Leanpub