labs4capella / stpa-capellaView external linksLinks
STPA Viewpoint for Capella
☆29Nov 3, 2025Updated 3 months ago
Alternatives and similar repositories for stpa-capella
Users that are interested in stpa-capella are comparing it to the libraries listed below
Sorting:
- This add-on allows importing a set of requirements from a ReqIF file☆23Jan 20, 2026Updated 3 weeks ago
- ☆11Sep 6, 2025Updated 5 months ago
- ☆14Feb 17, 2025Updated last year
- Functional/Architectural Capella 6.0 model for the ASTRAEUS-01 spacecraft system and all its subsystems.☆16Sep 11, 2024Updated last year
- Open source SDK to develop Capella add-ons☆16Jan 14, 2026Updated last month
- VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior …☆35Jan 13, 2026Updated last month
- ATL and Acceleo based transformation from SysML to Modelica☆21Dec 8, 2016Updated 9 years ago
- A Python 3 headless implementation of the Capella modeling tool.☆65Feb 4, 2026Updated 2 weeks ago
- ☆14Nov 21, 2024Updated last year
- Darc Viewpoint (Cybersecurity Assets & Threats Modeling analysis)☆22Jan 20, 2026Updated 3 weeks ago
- Collection of Docker images to run Capella, Papyrus, Eclipse or pure::variants in a container, either headless or with GUI.☆21Nov 21, 2025Updated 2 months ago
- Python for Capella☆70Dec 22, 2025Updated last month
- A web application for running Capella and other related MBSE tools in a browser, improving collaboration between companies and automating…☆35Nov 26, 2025Updated 2 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Jan 16, 2026Updated last month
- 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
- MCP Server for Polarion☆24Feb 8, 2026Updated last week
- Defining requirements formally and checking them when simulating☆15Feb 14, 2025Updated last year
- Model Driven Engineering for C++ (MDE4CPP)☆13Jan 22, 2026Updated 3 weeks ago
- Provides a simple way to queue and dispatch events to subscribers.☆12Aug 27, 2025Updated 5 months ago
- Custom, Open-Source firmware for the Brewie B20+ (and maybe B20)☆11Nov 24, 2022Updated 3 years ago
- ☆11Nov 3, 2021Updated 4 years ago
- Rebar3 plugin wrapper around TypEr☆12Oct 30, 2024Updated last year
- Study of US electrical grid. Build models for predicting demand based on weather.☆11Jul 19, 2024Updated last year
- VerneMQ on Kubernetes - Auto Discovery Cluster☆12Jul 7, 2016Updated 9 years ago
- A basic example of writing a VerneMQ plugin in Elixir☆11Sep 27, 2018Updated 7 years ago
- Generic embedded distributed request rate limiting service for erlang applications☆10Mar 7, 2016Updated 9 years ago
- Erlang interface for controlling Unix processes☆15May 28, 2023Updated 2 years ago
- ☆11Aug 28, 2020Updated 5 years ago
- An Erlang source code tokenizer written in Rust.☆11Jan 13, 2026Updated last month
- PKIX certificates management for Erlang☆12Jun 27, 2024Updated last year
- Exploring Methods of Protecting Confidential Erlang Workloads with Intel SGX☆12Jun 19, 2020Updated 5 years ago
- A Python implementation of causal inference of pathways using Gibbs sample approach☆10Sep 11, 2013Updated 12 years ago
- TLAi+ Benchmarks☆28Feb 6, 2026Updated last week
- A home automation lib that works with Home Assistant. Created in and for Gleam Lang.☆12Updated this week
- Monitor your domains for newly issued certificates and alert to Slack in near-realtime☆10Aug 29, 2022Updated 3 years ago
- ☆15Dec 8, 2024Updated last year
- Erlang SSH Subsystem for Nerves firmware updates☆13Feb 3, 2026Updated 2 weeks ago
- Metaheuristics for Logistics Problems # BPP (CONTAINER LOADING PROBLEM) & VRP (VEHICLE ROUTING PROBLEM) Problems resolved with HillClimbi…☆10Dec 15, 2023Updated 2 years ago
- An introductory course on 5G standards which aims to provide hand-on knowledge on 5G system design and 5G-NR 3GPP standards using 5G Tool…☆22May 12, 2024Updated last year