FRET : Formal Requirements Elicitation Tool(ARC-18066-1)

aeronautics
FRET : Formal Requirements Elicitation Tool
(ARC-18066-1)
Overview
FRET is a framework for the elicitation, formalization and understanding of requirements. FRET allows its user to enter hierarchical system requirements in a structured natural language. Requirements written in this language are assigned unambiguous semantics. FRET supports its user in understanding this semantics and reformulating requirements if applicable, by utilizing a variety of forms for each requirement: natural language description, formal mathematical logics, diagrams, and interactive simulation. FRET exports requirements into forms that can be used by a variety of analysis tools, such as Cocosim, Simulink Design Verifier, Kind, and SMV.
Software Details

Category
Aeronautics
Reference Number
ARC-18066-1
Release Type
Open Source
Operating System
Windows, Linux, OS X
Contact Us About This Technology

Ames Research Center
Stay up to date, follow NASA's Technology Transfer Program on:
facebook twitter linkedin youtube
Facebook Logo Twitter Logo Linkedin Logo Youtube Logo