Software:FRET
 FRET dashboard | |
| Developer(s) |
|
|---|---|
| Stable release | version 3
/ 30 August 2023[2] |
| Written in | JavaScript |
| Operating system | Windows, Linux, OS X |
| Type | Formalizing |
| Website | |
Formal Requirements Elicitation Tool (FRET) was developed by the NASA Ames Research Center to specify safety-critical applications whose failure could result in loss of life, significant property damage, or environmental harm[3]. However, since it is open-source software, FRET is available to anyone who wants to create precise, unambiguous requirements for their applications[4].
Software requirements document what the software should do. A critical first step to delivering reliable, secure, functional software is eliciting and documenting requirements. Most requirements are written in natural languages such as English, which is easy for analysts and users to understand but cannot be checked for errors and omissions using formal methods. On the other hand, formal, mathematical notations such as VDM and Z which are precise and unambiguous are very difficult for analysts and users to understand. As a compromise, FRET requirements are created using a controlled natural language called FRETish which ensures precise, unambiguous requirements that analysts and users can still understand.
FRET helps users write FRETish requirements, generates formal equivalents, and pinpoints problems using simulations and external analysis tools.
Example requirements and templates
FRET includes a set of example requirements and templates to aid users in understanding FRETish and using FRET.
Import/Export
FRET allows requirements to be imported or exported in a variety of formats to allow interfaces with other tools as well as external analysis tools.
External analysis tools
FRET provides access to process modeling tools that pinpoint timing issues and bottlenecks before any code is written. The supported external tools include COCO simulator, Simulink Design Verifier, Kind, and SMV.
See also
References
- ↑ "fret/CONTRIBUTORS.md at master · NASA-SW-VnV/fret" (in en). https://github.com/NASA-SW-VnV/fret/blob/master/CONTRIBUTORS.md.
- ↑ "Fret: Formal Requirements Elicitation Tool v3.0 | Hacker News" (in en). Ycombinator. https://news.ycombinator.com/item?id=38425499.
- ↑ "Fret" (in en). Springer International Publishing. 2022. pp. 490–504. doi:10.1007/978-3-031-13188-2_24. https://link.springer.com/chapter/10.1007/978-3-031-13188-2_24.
- ↑ "Formal Requirements Elicitation with FRET". Semantic Scholar. 2020. https://www.semanticscholar.org/paper/Formal-Requirements-Elicitation-with-FRET-Giannakopoulou-Pressburger/b68c6e3f7876be0dcff2cd55c5b3caa246fc4144.
 |  |
