SE-Stuttgart / XSTAMPPLinks
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.
☆28Updated 6 months ago
Alternatives and similar repositories for XSTAMPP
Users that are interested in XSTAMPP are comparing it to the libraries listed below
Sorting:
- Open Source AADL2 Tool Environment☆50Updated 4 months ago
- This add-on allows importing a set of requirements from a ReqIF file☆23Updated 3 weeks ago
- A Python 3 headless implementation of the Capella modeling tool.☆64Updated last week
- Open Source Solution for Model-Based Systems Engineering☆301Updated 3 weeks ago
- Python for Capella☆68Updated last month
- A framework for the elicitation, specification, formalization and analysis of requirements.☆400Updated 8 months ago
- ☆11Updated 5 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆46Updated last year
- Software for technical documentation and requirements management.☆245Updated this week
- STPA Viewpoint for Capella☆29Updated 3 months ago
- A Python package for the Systems Modeling Language (SysML) for Model-based Systems Engineering (MBSE) applications☆78Updated 6 years ago
- Thirty Meter Telescope System Model in SysML☆49Updated 7 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated 3 weeks ago
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆207Updated last week
- Specification and Analysis for Requirements Tool☆21Updated 4 years ago
- Recipes for using the SysML v2 API☆51Updated 11 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆125Updated 2 months ago
- Examples and case-study that use OSATE☆56Updated 9 months ago
- Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models☆47Updated 2 months ago
- Massif is a Matlab Simulink Integration Framework for Eclipse☆20Updated last year
- ☆35Updated 6 years ago
- ☆53Updated 9 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆35Updated this week
- Python library for ReqIF format. ReqIF parsing and unparsing.☆53Updated last month
- Automated Analysis Framework for Simulink/Stateflow models.☆59Updated 8 months ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 5 years ago
- This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…☆24Updated 8 years ago
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆183Updated last year
- EMF-based Fault-Tree Analysis Tool☆64Updated 8 years ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated 3 months ago