cmu-sei / emfta
EMF-based Fault-Tree Analysis Tool
☆57Updated 7 years ago
Alternatives and similar repositories for emfta:
Users that are interested in emfta are comparing it to the libraries listed below
- Open Source AADL2 Tool Environment☆44Updated 5 months ago
- Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)☆146Updated last year
- Extension for Visual Studio Code that adds language support for Modelica.☆25Updated 3 years ago
- The OpenModelica FMI & SSP-based co-simulation environment.☆77Updated this week
- ATL and Acceleo based transformation from SysML to Modelica☆20Updated 8 years ago
- The Open Reliability Editor (ORE) for dependability modeling and analysis.☆22Updated 9 months ago
- This add-on allows importing a set of requirements from a ReqIF file☆20Updated 6 months ago
- JPL's IMCE ontologies for Model-Based Systems Engineering☆20Updated 5 years ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated 8 months ago
- ☆50Updated 8 years ago
- Simulation and Analysis Environment in Python with Plugin Infrastructure☆134Updated 6 years ago
- An open source flight dynamics library for Modelica☆20Updated 12 years ago
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆18Updated 3 years ago
- Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models☆43Updated 7 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
- The OpenModelica Compiler is the core of the OpenModelica project, which is an open-source Modelica-based modeling and simulation environ…☆54Updated 5 years ago
- Website of System Structure and Parameterization (SSP) of components for virtual system design standard☆14Updated 3 weeks ago
- An OpenModelica Jupyter kernel☆79Updated 4 years ago
- A third-party Simulink tool to generate FMUs from models using the C-API☆41Updated last year
- OMOptim is an optimization software for Modelica models.☆19Updated 3 weeks ago
- Tool to compare curves from one csv files with curves from other csv files using an adjustable tolerance☆26Updated 6 months ago
- Examples and case-study that use OSATE☆56Updated 4 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 7 months ago
- Modelica3D is a lightweight, platform independent 3D-visualisation library for Modelica.☆20Updated 10 years ago
- Matlab scripting OpenModelica interface☆12Updated last year
- HanserModelica is a Modelica open source educational library on electrical engineering with a particaular focus on polyphase electrical m…☆27Updated 2 weeks ago
- Simulate circuits and sketches on a virtual Arduino Uno in Modelica☆45Updated 2 years ago
- read and write simulink model in python☆46Updated 8 months ago
- Python for Capella☆56Updated last week
- Scripts and simple web service to compile FMU to Web Assembly embedded as Javascript object. It contains Docker container for sample inst…☆22Updated last year