XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption and use of STAMP methodologies (STPA and CAST) in different areas. XSTAMPP includes seven plug-ins.
☆27Jul 12, 2025Updated 9 months ago
Alternatives and similar repositories for XSTAMPP
Users that are interested in XSTAMPP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Sep 6, 2025Updated 8 months ago
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 8 years ago
- STPA Viewpoint for Capella☆30Nov 3, 2025Updated 6 months ago
- Open Avionics Architecture Model☆11Sep 15, 2021Updated 4 years ago
- This add-on allows importing a set of requirements from a ReqIF file☆24Jan 20, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆30Oct 14, 2017Updated 8 years ago
- SysML v2 model of the Apollo 11 mission☆50Apr 16, 2026Updated 3 weeks ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Extension for python-capellambse that adds automatically generated context diagrams for arbitrary model elements.☆18Apr 30, 2026Updated last week
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- Markov-Dubins Problem: an Optimal Control Approach. Optimal solutions are found by means of Pontryagin Maximum principle; the rest of the…☆12Jun 16, 2021Updated 4 years ago
- XHTML Documentation Generation AddOn provides output HTML files for Capella model☆12Jan 20, 2026Updated 3 months ago
- ☆14Nov 21, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ELISA Aerospace Working Group☆36May 1, 2026Updated last week
- Prometheus SDK for CircuitPython/MicroPython boards☆18Oct 11, 2024Updated last year
- Darc Viewpoint (Cybersecurity Assets & Threats Modeling analysis)☆22Jan 20, 2026Updated 3 months ago
- A summary of course and training materials relevant for the NanoSim project☆17Feb 22, 2018Updated 8 years ago
- DEPRECATED: System modelling and fault-injection-based resilience assessment in Python☆10Mar 17, 2022Updated 4 years ago
- ☆11Aug 25, 2022Updated 3 years ago
- Bilevel optimization library of test problems☆10Dec 19, 2024Updated last year
- Ansible Role - SVN☆19Nov 28, 2025Updated 5 months ago
- RITE Dos (Radiotherapy In vivo Two-Dimensional EPID Dosimetry) is MATLAB software package that does just that, provides in vivo dosimetry…☆12Feb 15, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Software Update for Embedded Systems☆11Feb 14, 2023Updated 3 years ago
- FireCommander2020: A Multiagent, Interactive Joint Perception-Action Reconnaissance Environment☆17Sep 18, 2022Updated 3 years ago
- This repository contains parts of code for the publication "Ensembles of Probabilistic LSTM Predictors and Correctors for Bearing Prognos…☆12Jul 19, 2022Updated 3 years ago
- 以一个简单计算器为例，展示传统、MVC、MVP和MVVM几种模式在AWTK上的实现方法。☆12Jun 28, 2021Updated 4 years ago
- a model extractor, to automatically extract Spin verification models from multi-threaded C code☆28Jan 3, 2025Updated last year
- ☆23Mar 24, 2023Updated 3 years ago
- LFI to RCE tool.☆15May 10, 2020Updated 5 years ago
- a minimalistic todo app☆10May 10, 2023Updated 2 years ago
- MLC Analyzer from DVHA as a Stand-Alone Script☆10Feb 1, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Great Teeming Workspaces is a git workspace management package in bash☆14Aug 4, 2025Updated 9 months ago
- 基于Xilinx平台的功能安全笔记☆49Aug 2, 2019Updated 6 years ago
- Python for Capella☆71Apr 24, 2026Updated 2 weeks ago
- METASET: Exploring Shape and Property Spaces for Data-Driven Metamaterials Design☆19May 1, 2023Updated 3 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Jul 3, 2025Updated 10 months ago
- ☆29Nov 2, 2021Updated 4 years ago
- Flight controller for an autonomous quadcopter drone.☆32Oct 3, 2020Updated 5 years ago