Alternatives and similar repositories for XSTAMPP

Users that are interested in XSTAMPP are comparing it to the libraries listed below

• eclipse-capella / capella-requirements-vp
  This add-on allows importing a set of requirements from a ReqIF file
  ☆20Updated this week
• lgwagner / SpeAR
  Specification and Analysis for Requirements Tool
  ☆20Updated 4 years ago
• mbe-shipyard / sysml.py
  A Python package for the Systems Modeling Language (SysML) for Model-based Systems Engineering (MBSE) applications
  ☆74Updated 6 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆44Updated 6 months ago
• labs4capella / python4capella
  Python for Capella
  ☆61Updated 2 weeks ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆41Updated 8 months ago
• actiontofu / architecting-spacecraft
  This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…
  ☆23Updated 7 years ago
• DSD-DBS / py-capellambse
  A Python 3 headless implementation of the Capella modeling tool.
  ☆55Updated this week
• jonasthewolf / gsn2x
  Tool to create graphical representations of Goal Structuring Notations from YAML.
  ☆29Updated last week
• eclipse-capella / capella-xhtml-docgen
  XHTML Documentation Generation AddOn provides output HTML files for Capella model
  ☆11Updated this week
• strictdoc-project / strictdoc
  Software for technical documentation and requirements management.
  ☆179Updated this week
• OpenAADL / Crazyflie
  AADL models for the Crazyflie UAV -- OMSCS Class CS7639
  ☆11Updated 5 years ago
• pnp-software / cordetfw
  C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
  ☆14Updated last month
• Systems-Modeling / SysML-v2-API-Cookbook
  Recipes for using the SysML v2 API
  ☆36Updated 2 months ago
• eclipse-capella / capella
  Open Source Solution for Model-Based Systems Engineering
  ☆261Updated last month
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆12Updated 5 years ago
• gorenje / sysmlv2-jupyter-docker
  Create docker image for running SysMLv2 with Jupyter
  ☆30Updated 6 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• nasa / PLEXIL5
  PLEXIL5 is a Formal Verification Environment for PLEXIL
  ☆17Updated last year
• jcmarsh / cpek
  cFE Performance Evaluation Kit
  ☆8Updated 7 years ago
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆349Updated last month
• Systems-Modeling / SysML-v2-Pilot-Implementation
  Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization
  ☆148Updated this week
• elisa-tech / wg-aerospace
  ELISA Aerospace Working Group
  ☆29Updated this week
• eclipse-syson / syson
  SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact…
  ☆159Updated this week
• esa / nanosat-mo-framework
  A software framework for small satellites based on CCSDS MO services
  ☆105Updated this week
• Open-MBEE / TMT-SysML-Model
  Thirty Meter Telescope System Model in SysML
  ☆44Updated last year
• labs4capella / stpa-capella
  STPA Viewpoint for Capella
  ☆23Updated 7 months ago
• n7space / asn1-pusc-lib
  ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
  ☆16Updated last year
• nasa / EdsLib
  CCSDS SOIS Electronic Data Sheet Tool and Library
  ☆36Updated last month
• wfpotter / DO178_Case_Study
  Case study for using MathWorks tools on a DO-178 project
  ☆25Updated last year