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 4 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☆48Updated last month
- This add-on allows importing a set of requirements from a ReqIF file☆22Updated 6 months ago
- Open Source Solution for Model-Based Systems Engineering☆284Updated 2 months ago
- A Python package for the Systems Modeling Language (SysML) for Model-based Systems Engineering (MBSE) applications☆77Updated 6 years ago
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆192Updated this week
- Python for Capella☆66Updated last week
- Recipes for using the SysML v2 API☆47Updated 8 months ago
- Software for technical documentation and requirements management.☆219Updated this week
- A Python 3 headless implementation of the Capella modeling tool.☆62Updated this week
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆44Updated last year
- Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models☆47Updated last year
- ☆10Updated 2 months ago
- A framework for the elicitation, specification, formalization and analysis of requirements.☆383Updated 5 months ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 8 years ago
- ☆52Updated 9 years ago
- Thirty Meter Telescope System Model in SysML☆45Updated 5 months ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 5 years ago
- SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact…☆220Updated this week
- Specification and Analysis for Requirements Tool☆20Updated 4 years ago
- JPL's IMCE ontologies for Model-Based Systems Engineering☆20Updated 5 years ago
- The latest incremental release of SysML v2. Start here.☆691Updated last week
- STPA Viewpoint for Capella☆26Updated 2 weeks ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆33Updated this week
- The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…☆14Updated last year
- Web-based Generic Modeling Environment☆168Updated 9 months ago
- Proof-of-concept pilot implementation for the Systems Modeling API and Services.☆69Updated 5 months ago
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆18Updated 2 years ago
- Examples and case-study that use OSATE☆56Updated 7 months ago
- TrickHLA: An IEEE 1516 High Level Architecture (HLA) Simulation Interoperability Standard Implementation for Trick Base Simulations☆59Updated last month
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆35Updated 2 years ago