model-based-systems-engineering

Gaphor is the simple modeling tool

A Python package for the Systems Modeling Language (SysML) for Model-based Systems Engineering (MBSE) applications

System Engineering and requirements management application

Model Based Systems Engineering productivity tool to automatically create and manage changes in Cameo MagicDraw models utilizing user-defined modeling patterns.

MontiArc is a formal component and connector architecture description language (ADL) for the specification and modeling of cyber-physical systems.

Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using XState. Liked By XState Creator

OpenMBEE MMS Connector for Capella

System Engineering and requirements management application

Open-source systems engineering for Software-Defined Vehicle product lines — SysML v2, MBSE, product-line engineering, digital continuity, and continuous compliance.

A project using a Model-Based System Engineering approach to develop a face recognition device which greets people and alert the owner in case of intrusion in his home.

Requirements Management Tool

Formally verified MBSE framework in Lean 4 — dependent type semantics for SysML v2 / KerML with V&V matrix completeness by type checking

SeaLion Mission Architecture - ground station & flight software architecture for the joint CubeSat mission between Old Dominion University & Coast Guard Academy

A Python package that defines, exports, imports, and executes SysML v2 models.

Distributed Model Management System (DMMS) for Model-Based Engineering (MBE)

A Capella library model of Raspberry Pi 4

MCP server for the OMG SysML v2 REST API: 35 tools for navigating, versioning, and authoring SysML v2 models with staged, token-confirmed commits.

Companion artefact to the MODELS 2026 (NIER) paper. Does epistemic metadata change how AI consumers answer derivation questions over an MBSE model? 3 LLMs x 120 judged answers over the public Apollo 11 SysML v2 model. doi:10.1145/3822455.3838783

Example SysMLinJava models