A Model That Describes, and a Model That Answers
Most system models describe the system and leave every real question to a reader. Here is what changes when the model can be asked, using one requirement from the Fish On! rod sensor system.
Model-Based Systems Engineering
SysML v2, modeling practice, simulation and verification — explained by a practicing systems engineer who models missiles, satellites and ground vehicles for a living, and teaches it on YouTube to 3,500 subscribers.
A Practitioner's Guide to Model-Based Systems Engineering with SysML v2
Put it to work: how to build a model you can ask questions of, and that finds its own contradictions before the hardware does. One real product, 23 chapters, 492 full-color pages.
The Language on One Spread per Idea
Start here if you're new to SysML v2: the language one idea at a time, in 53 two-page spreads, with the parser-checked code on the left and the same model in OMG notation on the right. 132 pages.
Every model has one containment hierarchy, chosen for one purpose. Safety, security, thermal and certification scope all cut across it — and understanding why decides what your model can actually answer.
A use case tells you whether a step happened. Constraints are how you say how well it was performed — and there are four places a constraint can read from, only one of which needs an output parameter.
A derived state machine arrives already colored by route — green, blue and red. Only one thing in the source model was ever annotated. Here is how the other two colors are computed, and why the stamps that carry them are deliberately not semantic metadata.
How fast, how safe, how protected — none of it comes out of a behavioral model, and it shouldn't. Here is the vocabulary for writing those constraints so they are worth having.

Ask a SysML v2 model whether the design meets its requirement, and get a real answer: CONTRADICTED for Rev B, ENTAILED for Rev C. Every answer shown is real reasoner output from my new book.

This hardware/software integration video was made entirely by Claude Code: the animation, the narration, the captions, the timing, even the sound effects. I gave it one request: "make a complete video that goes through the entire bring-up checklist and shows every step with animations and voice-over."

Models That Answer: A Practitioner's Guide to Model-Based Systems Engineering with SysML v2 is out now.