NASA-SW-VnV / fret
A framework for the elicitation, specification, formalization and understanding of requirements.
☆291Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for fret
- Software for technical documentation and requirements management.☆155Updated this week
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 2 years ago
- Specification and Analysis for Requirements Tool☆20Updated 3 years ago
- The latest incremental release of SysML v2. Start here.☆452Updated 3 weeks ago
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆127Updated this week
- Open Source Solution for Model-Based Systems Engineering☆239Updated 2 weeks ago
- Intuitive concurrent programming in any language☆238Updated this week
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated this week
- SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact…☆106Updated this week
- STPA Viewpoint for Capella☆18Updated last month
- Automated Analysis Framework for Simulink/Stateflow models.☆39Updated last year
- Formal specification and generation of verifiable binary parsers, message generators and protocol state machines☆106Updated this week
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆33Updated 7 months ago
- This add-on allows importing a set of requirements from a ReqIF file☆19Updated last month
- ☆33Updated 5 years ago
- The main development version of the PRISM model checker.☆156Updated last month
- Requirements management using version control.☆477Updated 2 weeks ago
- A static web application to explore and animate a TLA+ state graph.☆196Updated last year
- Open Source AADL2 Tool Environment☆39Updated 3 weeks ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated 9 months ago
- Proof-of-concept pilot implementation for the Systems Modeling API and Services.☆45Updated 3 months ago
- Ontological Modeling Language (OML)☆25Updated this week
- Blech is a language for developing reactive, real-time critical embedded software.☆72Updated 2 years ago
- A Python package for the Systems Modeling Language (SysML) for Model-based Systems Engineering (MBSE) applications☆68Updated 5 years ago
- Python library for working with Metric Temporal Logic (MTL)☆93Updated last year
- SysIDE provides SysML v2 language support in VS Code☆22Updated 2 months ago
- Recipes for using the SysML v2 API☆32Updated 9 months ago
- An online IDE for visual programming in Prolog☆234Updated this week
- Create docker image for running SysMLv2 with Jupyter☆26Updated 2 weeks ago
- a language for building system dynamic models☆167Updated 4 months ago