☆11Sep 6, 2025Updated 5 months ago
Alternatives and similar repositories for ModelBasedSTPA
Users that are interested in ModelBasedSTPA are comparing it to the libraries listed below
Sorting:
- Nix tooling for the seL4 microkernel & ecosystem☆14Dec 12, 2025Updated 2 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Feb 19, 2026Updated last week
- Vector Bazel Rules and Toolchains☆14Feb 18, 2026Updated last week
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Jul 12, 2025Updated 7 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆47Aug 22, 2024Updated last year
- A C++ event-driven execution platform.☆17Oct 27, 2023Updated 2 years ago
- d-EVD-dual-electric-vehicle-dataset☆12Aug 21, 2025Updated 6 months ago
- Turning cheap(ish) Pluto-SDR receivers into passive radar sensors☆23May 28, 2024Updated last year
- This add-on allows importing a set of requirements from a ReqIF file☆23Jan 20, 2026Updated last month
- This shows a simple ARM bare-metal software implementation for gem5☆19Sep 26, 2021Updated 4 years ago
- STPA Viewpoint for Capella☆30Nov 3, 2025Updated 3 months ago
- This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…☆24Dec 21, 2017Updated 8 years ago
- A Python 3 headless implementation of the Capella modeling tool.☆65Feb 18, 2026Updated last week
- MIL-STD-1553 <-> SPI bridge☆31Sep 4, 2018Updated 7 years ago
- Site level energy system optimization model toolbox for investigations of EV fleet integration and management strategies☆13Apr 22, 2025Updated 10 months ago
- AGX Dynamics for Unreal plugin.☆12Updated this week
- ☆16Dec 22, 2025Updated 2 months ago
- ☆15Feb 10, 2026Updated 2 weeks ago
- CARMA Streets is a component of CARMA ecosystem, which enables such a coordination among different transportation users. This component p…☆11Aug 21, 2025Updated 6 months ago
- ☆12Jan 29, 2026Updated last month
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆44Updated this week
- System Architecture Framework☆10May 16, 2024Updated last year
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- 🚗 Classic Diagnostic Adapter 🏥☆19Feb 20, 2026Updated last week
- Predictive Unit Real-Time Information Service (PURIS) for Short Term Demand and Capacity Management☆20Feb 17, 2026Updated last week
- uServices - Open Vehicle Interfaces☆13Aug 2, 2024Updated last year
- A multibody code for motorcycle simulation☆17Aug 14, 2025Updated 6 months ago
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Jul 5, 2024Updated last year
- ☆18Jul 28, 2025Updated 7 months ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆10Mar 18, 2022Updated 3 years ago
- ☆11Dec 22, 2025Updated 2 months ago
- NIST's OWL ontology of additive manufacturing☆10Mar 4, 2024Updated last year
- A curated collection of high-quality SysMLv2 models. We welcome contributions via pull requests to expand this resource. For questions or…☆57Jun 4, 2025Updated 8 months ago
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆36Dec 2, 2025Updated 2 months ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- ☆14Jan 26, 2026Updated last month
- Provides train map foresight by processing mission profile, map regions and coupled localization data.☆10Apr 17, 2024Updated last year
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 21, 2026Updated last week
- Repository to store mkdocs based documentation for the Open AD Kit☆12Jan 19, 2026Updated last month