Projects in Awesome Lists tagged with model-based-systems-engineering
A curated list of projects in awesome lists tagged with model-based-systems-engineering .
https://github.com/monticore/montiarc
MontiArc is a formal component and connector architecture description language (ADL) for the specification and modeling of cyber-physical systems.
adl architecture cyber-physical-systems mbse model-based-systems-engineering modeling
Last synced: 14 Apr 2026
https://github.com/gtri/rapid-modeling-tools
Model Based Systems Engineering productivity tool to automatically create and manage changes in Cameo MagicDraw models utilizing user-defined modeling patterns.
cameo cameo-macro cameo-plugin change-detection change-management ingrid magicdraw mbse model-based-systems-engineering modeling modeling-experts productivity-tools
Last synced: 21 Feb 2026
https://github.com/thomaslemontagner/politelysecuredevice
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.
capella face-recognition mbse model-based-systems-engineering raspberry-pi-4
Last synced: 20 Jun 2025
https://github.com/chantakan/verified-mbse
Formally verified MBSE framework in Lean 4 — dependent type semantics for SysML v2 / KerML with V&V matrix completeness by type checking
dependent-types formal-verification lean4 mathlib4 mbse model-based-systems-engineering sysml systems-engineering
Last synced: 05 Jun 2026
https://github.com/ghackenberg/transport-ide
Integrated Development Environment (IDE) for Intelligent Transportation Systems (ITS) including their driving and charging infrastructures as well as their control strategies.
discrete-event-simulation mbse model-based-systems-engineering model-driven-engineering simulation
Last synced: 19 Mar 2026
