NASA-SW-VnV / fret
A framework for the elicitation, specification, formalization and understanding of requirements.
☆319Updated 3 months ago
Alternatives and similar repositories for fret:
Users that are interested in fret are comparing it to the libraries listed below
- Open Source Solution for Model-Based Systems Engineering☆249Updated this week
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 3 years ago
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆140Updated this week
- Automated Analysis Framework for Simulink/Stateflow models.☆47Updated last year
- Specification and Analysis for Requirements Tool☆20Updated 3 years ago
- The latest incremental release of SysML v2. Start here.☆508Updated last week
- SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact…☆129Updated this week
- Requirements management using version control.☆489Updated last month
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆24Updated this week
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆170Updated 2 months ago
- This add-on allows importing a set of requirements from a ReqIF file☆19Updated 5 months ago
- Intuitive concurrent programming in any language☆248Updated this week
- Proof-of-concept pilot implementation for the Systems Modeling API and Services.☆49Updated last month
- SysIDE provides SysML v2 language support in VS Code☆31Updated last week
- STPA Viewpoint for Capella☆22Updated 4 months ago
- Recipes for using the SysML v2 API☆36Updated 2 months ago
- SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…☆264Updated this week
- The main development version of the PRISM model checker.☆166Updated this week
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆31Updated this week
- Repository for the HARDENS project☆21Updated 2 months ago
- Python client software for the Systems Modeling API.☆40Updated 3 years ago
- An efficient graph solver for generating well-formed models☆25Updated 2 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated 2 weeks ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆92Updated this week
- a language for building system dynamic models☆166Updated 7 months ago
- Ontological Modeling Language (OML)☆25Updated 3 weeks ago
- No-code, model driven, natural language data access platform☆57Updated 2 years ago
- Provides a framework and tools for developing, downloading, and integrating core Flight System (cFS) applications into an operational sys…☆29Updated last week
- What if Git worked with Programming Languages?☆98Updated 3 years ago