luyangshang / OpenFTA
OpenFTA
☆9Updated 11 years ago
Alternatives and similar repositories for OpenFTA:
Users that are interested in OpenFTA are comparing it to the libraries listed below
- cpp-sdk☆14Updated last year
- Uppaal Timed Automata Parser☆10Updated 9 months ago
- Visualization for Dynamic Fault Trees☆14Updated 3 years ago
- ATL and Acceleo based transformation from SysML to Modelica☆20Updated 8 years ago
- Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.☆11Updated last month
- C++ FMUs☆16Updated 2 years ago
- A Code Generator that creates native C/C++ code to build Functional Mock-Up Units (FMU) with support for FMI version 2.0 (rollback)☆52Updated 5 months ago
- Interfaces and helper functions for writing FMI-compliant model/slave code in C++☆35Updated this week
- Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)☆142Updated last year
- STPA Viewpoint for Capella☆21Updated 4 months ago
- The front-end of the INTO-CPS tool chain☆19Updated 3 months ago
- DSML Specific WebGME GUI with support for designing and simulating Modelica systems☆13Updated 2 years ago
- MasterSim is an FMI Co-Simulation master and programming library.☆23Updated this week
- Maestro a Co-Simulation Orchestration Engine☆20Updated this week
- ☆29Updated 7 years ago
- A third-party Simulink tool to generate FMUs from models using the C-API☆40Updated last year
- SysML v2 explorations with Jupyter☆21Updated 5 months ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆17Updated 8 years ago
- Matlab scripting OpenModelica interface☆12Updated 10 months ago
- A universal mechanism for implementing Functional Mock-up Units (FMUs) in various languages☆43Updated this week
- FMI 2.0 implementation written in modern C++.☆99Updated last week
- Specification of the Distributed Co-Simulation Protocol (DCP)☆15Updated 3 years ago
- C++ reference implementation of the Distributed Co-Simulation Protocol (DCP)☆45Updated 6 months ago
- Results and FMUs for the FMI Cross-Check☆41Updated 3 years ago
- Build a standalone app from a source code FMU☆16Updated 3 years ago
- Open source FMUSDK provided by QTronic GMBH to demonstrate usage of FMI standard☆65Updated 3 years ago
- The Sirio library for the analysis of stochastic time Petri nets☆13Updated 3 years ago
- Collection of various C++ sample code for PLCnext Technology controllers.☆31Updated 3 months ago
- Eclipse Modeling Framework for C++☆46Updated 3 years ago
- A Modelica connection editor for OpenModelica.☆30Updated 5 years ago