STPA Viewpoint for Capella
☆30Nov 3, 2025Updated 4 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 last month
- ☆11Sep 6, 2025Updated 6 months ago
- ☆14Feb 17, 2025Updated last year
- Open source SDK to develop Capella add-ons☆16Jan 14, 2026Updated last month
- Functional/Architectural Capella 6.0 model for the ASTRAEUS-01 spacecraft system and all its subsystems.☆16Sep 11, 2024Updated last year
- VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior …☆36Feb 27, 2026Updated last week
- 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.☆67Updated this week
- ☆14Nov 21, 2024Updated last year
- Darc Viewpoint (Cybersecurity Assets & Threats Modeling analysis)☆22Jan 20, 2026Updated last month
- Collection of Docker images to run Capella, Papyrus, Eclipse or pure::variants in a container, either headless or with GUI.☆21Nov 21, 2025Updated 3 months ago
- Python for Capella☆71Dec 22, 2025Updated 2 months ago
- A web application for running Capella and other related MBSE tools in a browser, improving collaboration between companies and automating…☆36Feb 26, 2026Updated last week
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Mar 2, 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
- Model Driven Engineering for C++ (MDE4CPP)☆13Feb 18, 2026Updated 2 weeks ago
- Defining requirements formally and checking them when simulating☆15Feb 14, 2025Updated last year
- Custom, Open-Source firmware for the Brewie B20+ (and maybe B20)☆11Nov 24, 2022Updated 3 years ago
- Provides a simple way to queue and dispatch events to subscribers.☆12Aug 27, 2025Updated 6 months ago
- Two-Factor Authentication with ASP.NET Core and Authy☆11Sep 13, 2021Updated 4 years ago
- MCP Server for Polarion☆28Feb 8, 2026Updated last month
- Simple tabular Q learning to solve the travelling salesman problem.☆10Jul 23, 2023Updated 2 years ago
- Erlang interface for controlling Unix processes☆15May 28, 2023Updated 2 years ago
- Rebar3 plugin to generate CycloneDX SBoM☆12Mar 2, 2026Updated last week
- Terraform module CloudFront Distribution for S3☆10Jan 14, 2021Updated 5 years ago
- A basic example of writing a VerneMQ plugin in Elixir☆11Sep 27, 2018Updated 7 years ago
- ヘッダーベース HTTP API フレームワーク☆14Nov 6, 2025Updated 4 months ago
- ☆11Oct 27, 2017Updated 8 years ago
- Study of US electrical grid. Build models for predicting demand based on weather.☆11Jul 19, 2024Updated last year
- Feature for Ktor (https://ktor.io) implementing RFC7807 (https://tools.ietf.org/html/rfc7807)☆11Feb 3, 2023Updated 3 years ago
- A home automation lib that works with Home Assistant. Created in and for Gleam Lang.☆12Updated this week
- Exploring Methods of Protecting Confidential Erlang Workloads with Intel SGX☆12Jun 19, 2020Updated 5 years ago
- A build system from the future 🖖☆22May 28, 2023Updated 2 years ago
- Erlang SSH Subsystem for Nerves firmware updates☆13Updated this week
- Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper☆12Aug 13, 2021Updated 4 years ago
- Rebar3 plugin wrapper around TypEr☆12Oct 30, 2024Updated last year
- CS Deadlines - Top CS Conferences deadlines☆12Feb 14, 2026Updated 3 weeks ago
- An Erlang source code tokenizer written in Rust.☆11Jan 13, 2026Updated last month
- Orchestrator managing Erlang containers and routing Erlang Distribution through itself.☆13Dec 19, 2025Updated 2 months ago