Alternatives and similar repositories for ModelBasedSTPA

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

• INTO-CPS-Association / maestro
  Maestro a Co-Simulation Orchestration Engine
  ☆22Updated 2 weeks ago
• dbinfrago / py-capellambse
  A Python 3 headless implementation of the Capella modeling tool.
  ☆63Updated 2 weeks ago
• INTO-CPS-Association / into-cps-application
  The front-end of the INTO-CPS tool chain
  ☆23Updated 2 months ago
• vectorgrp / sil-kit-fmu-importer
  C#-based FMU Importer for SIL Kit
  ☆20Updated 2 weeks ago
• DLR-RY / outpost-core
  OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT
  ☆36Updated last month
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 3 years ago
• pnp-software / cordetfw
  C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
  ☆14Updated 2 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…
  ☆24Updated 8 years ago
• INTO-CPS-Association / FMI-VDM-Model
  A formal model of the FMI specification in VDM
  ☆14Updated 5 months ago
• eclipse-capella / capella-requirements-vp
  This add-on allows importing a set of requirements from a ReqIF file
  ☆22Updated 8 months ago
• yamcs / yamcs-studio
  Desktop TM/TC Client for Yamcs
  ☆31Updated 4 months ago
• grouperenault / fmu_manipulation_toolbox
  FMU Manipulation Toolbox is a python library and applications which modify or create Functional Mock-up Units (FMU) without recompilati…
  ☆22Updated this week
• labs4capella / python4capella
  Python for Capella
  ☆66Updated 2 weeks ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆123Updated last month
• modelica / ssp-ls-traceability
  SSP Layered Standard Traceability
  ☆14Updated 4 months ago
• ghorwin / MasterSim
  MasterSim is an FMI Co-Simulation master and programming library.
  ☆25Updated last week
• SE-Stuttgart / XSTAMPP
  XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…
  ☆28Updated 5 months ago
• nasa / TrickFMI
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆22Updated last year
• zephyrproject-rtos / reqmgmt
  ☆18Updated 4 months ago
• eclipse-basyx / basyx-cpp-sdk
  cpp-sdk
  ☆16Updated 2 years ago
• esa / opengeode
  OpenGEODE - a free SDL State Machine editor for space applications...and more
  ☆77Updated 8 months ago
• modelica / fmi-ls-bus
  Specification of the FMI Layered Standard for Network Communication
  ☆23Updated 3 weeks ago
• modelica / ssp-standard
  Specification of System Structure and Parameterization (SSP)
  ☆22Updated last month
• elisa-tech / wg-aerospace
  ELISA Aerospace Working Group
  ☆32Updated this week
• viatra / massif
  Massif is a Matlab Simulink Integration Framework for Eclipse
  ☆20Updated last year
• OpenAADL / AADLib
  Library of AADL models
  ☆45Updated last year
• SysMLModelicaIntegration / edu.ufc.femtost.disc.sysml2modelica
  ATL and Acceleo based transformation from SysML to Modelica
  ☆21Updated 9 years ago
• mathworks / SimulinkCoSimulationExample
  Examples of Co-Simulation with Simulink
  ☆17Updated 7 years ago
• PLCnext / PLCnext_CLI
  The PLCnext CLI is our tool for programming in high level languages for the PLCnext Technology ecosystem. Build an up-to-date version of …
  ☆15Updated 2 months ago
• nasa / ECI
  CFS application framework for integrating external C code into the CFS environment
  ☆38Updated 3 years ago