☆13Sep 6, 2025Updated last year
Alternatives and similar repositories for ModelBasedSTPA
Users that are interested in ModelBasedSTPA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Oct 19, 2026Updated last week
- SysML v2 Robot Vacuum Cleaner project☆15Oct 22, 2026Updated last week
- SYSMOD Language Extension and Examples for SysML v2☆28Updated this week
- ☆34Oct 16, 2026Updated last week
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆27Jul 12, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Oct 15, 2026Updated 2 weeks ago
- This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…☆25Dec 21, 2017Updated 8 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆49Aug 22, 2024Updated 2 years ago
- Open Source SysML v2 Implementation in Go☆48Updated this week
- STPA Viewpoint for Capella☆31Sep 21, 2026Updated last month
- Open Avionics Architecture Model☆12Sep 15, 2021Updated 5 years ago
- A MCP server written in C++ that provides AI models and agents with a SysML v2 model as context.☆25Sep 23, 2025Updated last year
- Arxml Editor, using Eclipse XML Editor☆13Jun 14, 2018Updated 8 years ago
- MontiCore implementation of the SysML v2 textual notation☆47Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- SysML v2 model of the Apollo 11 mission☆104Oct 16, 2026Updated last week
- ☆12Dec 17, 2021Updated 4 years ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆17Apr 22, 2024Updated 2 years ago
- Ontological Modeling Language (OML)☆40Jun 20, 2025Updated last year
- Library for fault Modelling in Modelica☆11Sep 3, 2025Updated last year
- cpp-sdk☆17Sep 14, 2026Updated last month
- ☆11Aug 25, 2022Updated 4 years ago
- MCP server bridging AI assistants to CATIA Magic / Cameo Systems Modeler for SysML/UML model creation, querying, and manipulation☆51Sep 4, 2026Updated last month
- S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fu…☆11Nov 20, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- DEPRECATED: System modelling and fault-injection-based resilience assessment in Python☆10Mar 17, 2022Updated 4 years ago
- Turning cheap(ish) Pluto-SDR receivers into passive radar sensors☆25May 28, 2024Updated 2 years ago
- ☆12Aug 3, 2024Updated 2 years ago
- Horizon is a data ingestion and management workflow system☆10Dec 5, 2022Updated 3 years ago
- ☆11May 15, 2025Updated last year
- A Raspberry Pi based Universal Testing Machine to perform a number of tasks related to mechanical tensile tests of specimens.☆13Mar 21, 2022Updated 4 years ago
- ☆17Aug 19, 2026Updated 2 months ago
- Nix tooling for the seL4 microkernel & ecosystem☆21Aug 7, 2026Updated 2 months ago
- ☆14Oct 14, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A C++ event-driven execution platform.☆19Mar 19, 2026Updated 7 months ago
- This add-on allows importing a set of requirements from a ReqIF file☆24Updated this week
- 面向中文学习者与工程实践的开源 SysML v2 一体化学习平台，集课程、在线建模、模型验证、AI 辅导、工程案例与知识包扩展于一体。An open, all-in-one SysML v2 learning lab for modeling, validation, AI…☆17Oct 13, 2026Updated 2 weeks ago
- PySysML2 is a Python-based parser for the SysML 2.0 textual modeling language. Its main purpose is to parse a SysML 2.0 textual model int…☆65Oct 23, 2024Updated 2 years ago
- FMV - FRAM Model Visualiser☆17Oct 27, 2025Updated last year
- Guy on Simulink blog material☆20Oct 21, 2026Updated last week
- Vector Bazel Rules and Toolchains☆16Mar 2, 2026Updated 7 months ago