Alternatives and similar repositories for ModelBasedSTPA

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

• pnp-software / cordetfw
  C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
  ☆14Updated 2 months ago
• eclipse-capella / capella-requirements-vp
  This add-on allows importing a set of requirements from a ReqIF file
  ☆22Updated 5 months ago
• modelica / ssp-ls-traceability
  SSP Layered Standard Traceability
  ☆14Updated last month
• 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 7 years ago
• INTO-CPS-Association / maestro
  Maestro a Co-Simulation Orchestration Engine
  ☆21Updated last month
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 3 years ago
• vectorgrp / sil-kit-fmu-importer
  C#-based FMU Importer for SIL Kit
  ☆15Updated 2 months ago
• dbinfrago / py-capellambse
  A Python 3 headless implementation of the Capella modeling tool.
  ☆61Updated last week
• INTO-CPS-Association / into-cps-application
  The front-end of the INTO-CPS tool chain
  ☆21Updated 2 weeks ago
• labs4capella / python4capella
  Python for Capella
  ☆65Updated 4 months ago
• DLR-RY / outpost-core
  OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT
  ☆35Updated 2 years 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…
  ☆17Updated last week
• nasa / TrickFMI
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆21Updated last year
• viatra / massif
  Massif is a Matlab Simulink Integration Framework for Eclipse
  ☆20Updated last year
• INTO-CPS-Association / FMI-VDM-Model
  A formal model of the FMI specification in VDM
  ☆14Updated 2 months ago
• modelica / Modelica_LinearSystems2
  Free library providing different representations of linear, time invariant differential and difference equation systems, as well as typic…
  ☆26Updated last week
• SysMLModelicaIntegration / edu.ufc.femtost.disc.sysml2modelica
  ATL and Acceleo based transformation from SysML to Modelica
  ☆21Updated 8 years ago
• ghorwin / MasterSim
  MasterSim is an FMI Co-Simulation master and programming library.
  ☆25Updated last month
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆113Updated 2 weeks ago
• Kvixen / Simulix
  A third-party Simulink tool to generate FMUs from models using the C-API
  ☆41Updated last year
• modelica / ssp-standard.org
  Website of System Structure and Parameterization (SSP) of components for virtual system design standard
  ☆14Updated last month
• modelica / ssp-standard
  Specification of System Structure and Parameterization (SSP)
  ☆19Updated 3 months ago
• vectorgrp / bazel-rules
  Vector Bazel Rules and Toolchains
  ☆13Updated 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 3 months ago
• eclipse-basyx / basyx-cpp-sdk
  cpp-sdk
  ☆16Updated 2 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆49Updated last week
• mathworks / SimulinkCoSimulationExample
  Examples of Co-Simulation with Simulink
  ☆16Updated 7 years ago
• CAPDGroup / CAPD
  CAPD library
  ☆14Updated 3 months 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 …
  ☆13Updated 3 months ago