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

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

System Engineering and requirements management application

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.

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

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

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.

Map of a Loughborough doctoral programme on trustworthy AI integration in MBSE: what each repository is for, how they depend on each other, and what has entered the written record. Generated from a single validated repos.yml.

Documentation-first architecture repo for astronaut radiation protection, centered on hydrogen-rich shielding, chambered wall and storm-shelter concepts, dosimetry-aware operations, and disciplined modeling for GCR and SPE/SEP risk reduction.