cmu-sei / emfta
EMF-based Fault-Tree Analysis Tool
☆55Updated 6 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.)☆141Updated last year
- The Open Reliability Editor (ORE) for dependability modeling and analysis.☆22Updated 7 months ago
- Open Source AADL2 Tool Environment☆41Updated 2 months ago
- ☆18Updated last year
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 4 months ago
- Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models☆40Updated 5 months ago
- JPL's IMCE ontologies for Model-Based Systems Engineering☆19Updated 4 years ago
- Thirty Meter Telescope System Model in SysML☆41Updated 8 months ago
- ATL and Acceleo based transformation from SysML to Modelica☆20Updated 8 years ago
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆18Updated 3 years ago
- Defining requirements formally and checking them when simulating☆13Updated 7 years ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated 6 months ago
- This add-on allows importing a set of requirements from a ReqIF file☆19Updated 4 months ago
- Python for Capella☆53Updated last week
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 3 years ago
- System Resilience Modelling, Simulation, and Assessment in Python☆31Updated last month
- A Python package for the Systems Modeling Language (SysML) for Model-based Systems Engineering (MBSE) applications☆71Updated 5 years ago
- The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…☆14Updated 8 months ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆24Updated 7 years ago
- Proof-of-concept pilot implementation for the Systems Modeling API and Services.☆47Updated last month
- Examples and case-study that use OSATE☆56Updated 3 years ago
- Create docker image for running SysMLv2 with Jupyter☆29Updated 2 months ago
- ☆50Updated 8 years ago
- An OpenModelica Jupyter kernel☆77Updated 4 years ago
- The OpenModelica FMI & SSP-based co-simulation environment.☆76Updated this week
- This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…☆22Updated 7 years ago
- Model Management System☆30Updated 2 years ago
- ☆29Updated 7 years ago
- Recipes for using the SysML v2 API☆36Updated last month