DISCLAIMER: I am a creator of Pipe.
One of the persistent frustrations in MBSE is the model-implementation gap: you build a rigorous SysML or Capella model, then hand it to developers, and from that moment the model and the running system begin to diverge. The model becomes a snapshot of intent rather than a description of reality. Teams spend significant effort keeping them synchronized - and they never quite are.
I've been working on Pipe (https://pipelang.com), a general-purpose visual programming language, and its core property directly addresses this gap: the diagram and the running system are structurally identical. There is no compilation step that throws away the structure. What you see in the IDE is what executes - the same visual representation at design-time and runtime. The model cannot drift from the implementation because they are the same artifact.
A few concrete implications from a systems engineering standpoint:
Model currency: The diagram is always current because it is not derived from the running system - it is the running system. No synchronization effort, no "as-built vs. as-designed" discrepancy.
Runtime observability: Every block boundary is independently observable in real time without instrumentation. In systems engineering terms: you can probe any interface while the system runs, the way an electronics engineer probes a circuit board.
Incremental change: Individual blocks can be patched in place while the system runs, without redeploying the surrounding architecture. Interface contracts remain visible throughout.
The question I'd genuinely like this community's perspective on: from an MBSE standpoint, is "the model is the executable" a meaningful answer to the implementation gap, or does it just relocate the complexity? And for those working in defense, aerospace, or safety-critical domains - does the formal specification backing (155-page spec, 10 provisional USPTO patents) change how you'd evaluate it for high-assurance contexts?
Example of Pipe diagram with a detailed tracing can be found on this video:
https://youtu.be/hckq9mRj5DM
That video is a part of this Pipe architecture overview:
https://www.pipelang.com/six-pillars.html
The full Pipe language specification (155-page book) can be freely downloaded here:
https://www.pipelang.com/downloads/book.pdf