cmu-sei / emfta
EMF-based Fault-Tree Analysis Tool
☆58Updated 7 years ago
Alternatives and similar repositories for emfta:
Users that are interested in emfta are comparing it to the libraries listed below
- Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)☆147Updated last year
- Open Source AADL2 Tool Environment☆44Updated 6 months ago
- A Python package for the Systems Modeling Language (SysML) for Model-based Systems Engineering (MBSE) applications☆73Updated 5 years ago
- The Open Reliability Editor (ORE) for dependability modeling and analysis.☆22Updated 10 months ago
- Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models☆45Updated 8 months ago
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 3 years ago
- Thirty Meter Telescope System Model in SysML☆42Updated 11 months ago
- ☆19Updated last year
- This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…☆23Updated 7 years ago
- An open source, semi-automated, control design tool for subsonic aircraft engine simulations written in the MATLAB/Simulink environment. …☆64Updated 10 years ago
- ATL and Acceleo based transformation from SysML to Modelica☆21Updated 8 years ago
- ☆50Updated 8 years ago
- A Framework for Generating and Executing Digital Twins☆59Updated 2 years ago
- This add-on allows importing a set of requirements from a ReqIF file☆20Updated 2 weeks ago
- An open source flight dynamics library for Modelica☆20Updated 12 years ago
- An OpenModelica Jupyter kernel☆79Updated 4 years ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated 9 months ago
- STPA Viewpoint for Capella☆23Updated 6 months ago
- Digital Thread for Smart Manufacturing☆39Updated 6 years ago
- ☆29Updated 7 years ago
- The NASA Prognostics As-A-Service (PaaS) Sandbox is a simplified implementation of a Software Oriented Architecture (SOA) for performing …☆10Updated 5 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 8 months ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 7 years ago
- JPL's IMCE ontologies for Model-Based Systems Engineering☆20Updated 5 years ago
- Automated Analysis Framework for Simulink/Stateflow models.☆49Updated last year
- ☆35Updated last year
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆148Updated this week
- Massif is a Matlab Simulink Integration Framework for Eclipse☆19Updated last year
- A third-party Simulink tool to generate FMUs from models using the C-API☆41Updated last year
- System Resilience Modelling, Simulation, and Assessment in Python☆36Updated last week