The SysML v2 Book
$75.00
Minimum price
$75.00
Suggested price

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 Weilkiens 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 numerous companies across various domains. His insights into their challenges are one source of his experience that he shares in books and presentations.

Tim has written many books on modeling, including Model-Based Product Line Engineering, Model-Based System Architecture, and AI Assisted MBSE with SysML. He is the editor of the pragmatic and independent MBSE methodology SYSMOD.

You can contact him at tim@mbse4u.com.

Vince Molnár
Vince Molnár

Vince Molnár is an associate professor at the Budapest University of Technology and Economics, Hungary. He earned his PhD in the field of formal methods and has been teaching MBSE to university students and industrial partners since 2015. His primary 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 the Formal Methods and Conformance Working Groups in the OMG's Systems Modeling Community, and a core member of the Semantics and Execution Working Groups.

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 R&D projects and industrial collaborations, acquiring a diverse set of insights into different aspects of MBSE.

You can find the list of his scientific publications on Google Scholar and contact him at molnar.vince@vik.bme.hu.

Table of Contents

    • About MBSE4U
    • About us
    • Preface to the Pre-Release Edition
    • Foreword
    • Preface
      • How to Read the Book
      • Acknowledgment
    Part I -General Introduction
    • Chapter 1 -What is SysML v2?
    • Chapter 2 -History of SysML
    • Chapter 3 -Model-Based Systems Engineering
      • 3.1What is Model-Based Systems Engineering?
      • 3.2What is Modeling?
    • Chapter 4 -Methodologies, Methods, Processes, and Frameworks
      • 4.1Basics
      • 4.2Harmonic Triad of Modeling
    • Chapter 5 -SysML v2 Tools
    • Chapter 6 -Architecture of SysML
      • 6.1Concrete Syntax
      • 6.2Abstract Syntax and Metalayers
      • 6.3Semantics
    • Chapter 7 -SysML in a Nutshell
      • 7.1Overview of KerML
      • 7.2Overview of SysML
    • Chapter 8 -From SysML v1 to SysML v2
      • 8.1Transformation of SysML v1 to SysML v2
    • Chapter 9 -How to read the specification
      • 9.1Informal Language Description
      • 9.2Normative Language Specification
      • 9.3Model Libraries
    • Chapter 10 -SysML v2 Certification Program
    • Chapter 11 -SysML v2 Conformance
    • Chapter 12 -Digital Engineering
      • 12.1Digital Thread
      • 12.2Digital Twins
      • 12.3Artificial Intelligence
    Part II -SysML in Practice
    • Chapter 13 -Standard Views
    • Chapter 14 -A Simple Example
      • 14.1Base Architecture
      • 14.2System Context
      • 14.3Requirements
      • 14.4Use Cases
      • 14.5Physical Architecture
      • 14.6Verification
      • 14.7Modeling Project
    • Chapter 15 -General and Cross-cutting Elements
      • 15.1Namespaces and Names
      • 15.2Comment, Documentation, and Note
      • 15.3Textual Representation
      • 15.4Dependencies
    • Chapter 16 -Packages and Libraries
      • 16.1Packages
      • 16.2Library Package
      • 16.3Filter Conditions
      • 16.4Root Namespace
    • Chapter 17 -Definition and Usage
      • 17.1Definitions
      • 17.2Usages
      • 17.3Modeling with Definitions and Usages
    • Chapter 18 -Specializations
      • 18.1Subclassification (specializes)
      • 18.2Subsetting (subsets)
      • 18.3Redefinition (redefines)
      • 18.4Definition (defined by)
    • Chapter 19 -Parts and Items
      • 19.1Items
      • 19.2Parts
    • Chapter 20 -Connections
    • Chapter 21 -Binding Connectors
    • Chapter 22 -Ports and Interfaces
      • 22.1Ports
      • 22.2Interfaces
    • Chapter 23 -Attributes and Values
      • 23.1Attributes
      • 23.2Enumerations
    • Chapter 24 -Quantities and Units
      • 24.1Quantities
      • 24.2Unit
      • 24.3Advanced Quantities and Units Concepts
    • Chapter 25 -Occurrences and 4D Modeling
    • Chapter 26 -Expressions
    • Chapter 27 -Constraints
    • Chapter 28 -Requirements
      • 28.1Stakeholders
      • 28.2Concerns
      • 28.3Textual Requirements
      • 28.4Formalized Requirements
      • 28.5Requirement Satisfaction
      • 28.6Requirement Derivation
    • Chapter 29 -Cases
      • 29.1Use Cases
      • 29.2Analysis Cases
      • 29.3Verification Cases
    • Chapter 30 -Actions
      • 30.1Action!
      • 30.2Parameters
      • 30.3Successions
      • 30.4Control Nodes
      • 30.5Conditional Successions
      • 30.6Special Action Usages
      • 30.7Perform Action
      • 30.8Typical Patterns with Actions
    • Chapter 31 -Calculations
    • Chapter 32 -State Machines
      • 32.1States
      • 32.2Transitions
      • 32.3Complex States
      • 32.4Exhibiting States
      • 32.5Modeling with States and Transitions
    • Chapter 33 -Flows and Messages
    • Chapter 34 -Allocations
    • Chapter 35 -Variations and Variants
    • Chapter 36 -View and Viewpoint
    • Chapter 37 -Risks
    • Chapter 38 -Model Execution
    • Chapter 39 -Extending SysML v2
    Part III -The Systems Modeling API & Services
    • Chapter 40 -Overview SysML v2 API and Services
    • Chapter 41 -How to use the API
      • 41.1Getting started
      • 41.2Examples
    • Chapter 42 -Reference SysML v2 API and Services
      • 42.1SysML v2 API and Services
      • 42.2REST/HTTP Implementation
      • 42.3OSLC Implementation
    Part IV -KerML Reference
    • Chapter 43 -What is KerML?
    • Chapter 44 -Elements and Relationships
    • Chapter 45 -Dependencies
    • Chapter 46 -Annotations
    • Chapter 47 -Namespaces and Name Resolution
    • Chapter 48 -Types
    • Chapter 49 -Classifiers
    • Chapter 50 -Features
    • Chapter 51 -Data Types
    • Chapter 52 -Classes
    • Chapter 53 -Associations and Connectors
    • Chapter 54 -Structures
    • Chapter 55 -Behaviors
    • Chapter 56 -Functions
    • Chapter 57 -Expressions
    • Chapter 58 -Interactions
    • Chapter 59 -Metadata
    Part V -SysML Reference
    • Chapter 60 -General and Cross-Cutting Elements
      • 60.1Element and Relationship
      • 60.2Dependencies
      • 60.3Annotations
      • 60.4Definition and Usage
      • 60.5Specializations
      • 60.6Variations and Variants
      • 60.7Namespaces and Packages
    • Chapter 61 -Attributes
    • Chapter 62 -Enumerations
    • Chapter 63 -Occurrences
    • Chapter 64 -Items
    • Chapter 65 -Parts
    • Chapter 66 -Ports
    • Chapter 67 -Connections
    • Chapter 68 -Interfaces
    • Chapter 69 -Allocations
    • Chapter 70 -Flows and Messages
    • Chapter 71 -Actions
    • Chapter 72 -States
    • Chapter 73 -Calculations
    • Chapter 74 -Constraints
    • Chapter 75 -Requirements
    • Chapter 76 -Cases
      • 76.1Analysis-Cases
      • 76.2Use-Cases
      • 76.3Verification-Cases
    • Chapter 77 -Views and Viewpoints
    • Chapter 78 -Metadata
    Part VI -KerML Libraries
    • Chapter 79 -Kernel Data Types
      • 79.1Collections
      • 79.2Scalar Values
      • 79.3Vector Values
    • Chapter 80 -Kernel Function Library
      • 80.1Base Functions
      • 80.2Boolean Functions
      • 80.3Collection Functions
      • 80.4Complex Functions
      • 80.5Control Functions
      • 80.6Data Functions
      • 80.7Integer Functions
      • 80.8Natural Functions
      • 80.9Numerical Functions
      • 80.10Occurrence Functions
      • 80.11Rational Functions
      • 80.12Real Functions
      • 80.13Scalar Functions
      • 80.14Sequence Functions
      • 80.15String Functions
      • 80.16Trigometry Functions
      • 80.17Vector Functions
    • Chapter 81 -Kernel Semantics Types
      • 81.1Base
      • 81.2Clocks
      • 81.3Control Performances
      • 81.4Feature Reference Performances
      • 81.5KerML
      • 81.6Links
      • 81.7Metaobjects
      • 81.8Objects
      • 81.9Observation
      • 81.10Occurrences
      • 81.11Performances
      • 81.12Spatial Frames
      • 81.13State Performances
      • 81.14Transfers
      • 81.15Transition Performances
      • 81.16Triggers
    Part VII -SysML Libraries
    • Chapter 82 -Actions
    • Chapter 83 -Allocations
    • Chapter 84 -Analysis Cases
    • Chapter 85 -Attributes
    • Chapter 86 -Calculations
    • Chapter 87 -Cases
    • Chapter 88 -Connections
    • Chapter 89 -Constraints
    • Chapter 90 -Flow Connections
    • Chapter 91 -Interfaces
    • Chapter 92 -Items
    • Chapter 93 -Metadata
    • Chapter 94 -Parts
    • Chapter 95 -Ports
    • Chapter 96 -Requirements
    • Chapter 97 -Standard View Definitions
    • Chapter 98 -States
    • Chapter 99 -SysML
    • Chapter 100 -Use Cases
    • Chapter 101 -Verification Cases
    • Chapter 102 -Views
    Part VIII -SysML Domain Libraries
    • Chapter 103 -Analysis Libraries
      • 103.1Analysis Tooling
      • 103.2Sample Functions
      • 103.3State Space Representations
      • 103.4Trade Studies
    • Chapter 104 -Cause and Effect Libraries
      • 104.1Causation Connections
      • 104.2Cause and Effects
    • Chapter 105 -Geometry Libraries
      • 105.1Shape Items
      • 105.2Spatial Items
    • Chapter 106 -Metadata Libraries
      • 106.1Image Metadata
      • 106.2Modeling Metadata
      • 106.3Parameters of Interest Metadata
      • 106.4Risk Metadata
    • Chapter 107 -Quantities and Units Libraries
      • 107.1ISQ
      • 107.2ISQ Acoustics
      • 107.3ISQ Atomic Nuclear
      • 107.4ISQ Base
      • 107.5ISQ Characteristic Numbers
      • 107.6ISQ Chemistry Molecular
      • 107.7ISQ Condensed Matter
      • 107.8ISQ Electromagnetism
      • 107.9ISQ Information
      • 107.10ISQ Light
      • 107.11ISQ Mechanics
      • 107.12ISQ Space and Time
      • 107.13ISQ Thermodynamics
      • 107.14Measurement Calculations
      • 107.15Measurement References
      • 107.16Quantities
      • 107.17Quantity Calculations
      • 107.18SI
      • 107.19SI Prefixes
      • 107.20Tensor Calculations
      • 107.21Time
      • 107.22US Customary Units
      • 107.23Vector Calculations
    • Chapter 108 -Requirement Derivation Libraries
      • 108.1Derivation Connections
      • 108.2Requirement Derivation
    • Bibliography

About the Publisher

This book is published on Leanpub by MBSE4U

Lean Publishing for MBSE

MBSE4U is a lean publishing house specializing in MBSE books, providing up-to-date content that reflects the dynamic changes in the MBSE community and market.

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