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

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.