SysMD is a SysML v2/KerML tool with an intuitive, notebook-style interface that makes getting started easy. What truly sets SysMD apart is its integrated solver, enabling engineering calculations directly within the model while automatically ensuring consistency across constraints and requirements.
Self-hosted AI analysis harness that turns GitHub repositories into validated SysML v2 and interactive architecture graphs.
Open-source systems engineering for Software-Defined Vehicle product lines — SysML v2, MBSE, product-line engineering, digital continuity, and continuous compliance.
Major mode for editing SysML v2 files
A Rust implementation of the OMG SysML v2 specification: parser, semantic model, execution runtime, LSP server, CLI, and REST/MCP APIs. Pre-alpha.
SysML v2 parsing, linting, and diagram rendering for .NET
API-first Python tooling for building, querying, validating, and automating SysML v2 models
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.
Universal state machine compiler & formal verification toolchain. Converts SysML v2, SCXML, Cameo XMI, PlantUML, Mermaid & JSON models into verified, zero-overhead code.
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
CLI-native knowledge graph toolkit for SysML v2
Open-source SysML v2 library for structured use case specifications, scenarios, and behavioral testing.
To associate your repository with the sysml-v2 topic, visit your repo's landing page and select "manage topics."