luyangshang / OpenFTA
OpenFTA
☆10Updated 11 years ago
Alternatives and similar repositories for OpenFTA:
Users that are interested in OpenFTA are comparing it to the libraries listed below
- Visualization for Dynamic Fault Trees☆14Updated 3 years ago
- cpp-sdk☆15Updated last year
- Uppaal Timed Automata Parser☆10Updated 11 months ago
- C++ FMUs☆16Updated 2 years ago
- Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.☆11Updated 2 months ago
- Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)☆146Updated last year
- MasterSim is an FMI Co-Simulation master and programming library.☆23Updated last month
- Model Driven Engineering for C++ (MDE4CPP)☆12Updated 5 months ago
- Library of AADL models☆44Updated 4 months ago
- The Sirio library for the analysis of stochastic time Petri nets☆13Updated last month
- ATL and Acceleo based transformation from SysML to Modelica☆20Updated 8 years ago
- The OpenModelica FMI & SSP-based co-simulation environment.☆77Updated this week
- This add-on allows importing a set of requirements from a ReqIF file☆20Updated 6 months ago
- The front-end of the INTO-CPS tool chain☆21Updated 3 weeks ago
- C++ reference implementation of the Distributed Co-Simulation Protocol (DCP)☆46Updated 8 months ago
- The FMI++ Library☆14Updated last year
- OpenModelica sensitivity analysis and optimization module.☆13Updated 4 months 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 6 months ago
- Interfaces and helper functions for writing FMI-compliant model/slave code in C++☆36Updated last month
- A Modelica library for thermal power generation system modelling☆14Updated 9 months ago
- OSP C++ co-simulation library☆64Updated this week
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆18Updated 8 years ago
- read and write simulink model in python☆46Updated 8 months ago
- Free library for interfacing hardware drivers to Modelica models. There is support for joysticks, keyboards, UDP, TCP/IP, LCM, MQTT, shar…☆78Updated last month
- ☆12Updated 6 years ago
- Use C++ and Python objects in Modelica☆37Updated 10 months ago
- Reliability, Availability, Maintainability, Safety (RAMS) analysis program.☆47Updated last month
- OMOptim is an optimization software for Modelica models.☆19Updated 3 weeks ago
- A suite of scalable Modelica test models☆21Updated 4 months ago
- FMI Compliance Checker for validation of FMUs 1.0 and 2.0☆43Updated last year