Draft:NASA Formal Requirements Elicitation Tool (FRET)

Submission declined on 25 November 2023 by Qcne (talk).

This submission appears to read more like an advertisement than an entry in an encyclopedia. Encyclopedia articles need to be written from a neutral point of view, and should refer to a range of independent, reliable, published sources, not just to materials produced by the creator of the subject being discussed. This is important so that the article can meet Wikipedia's verifiability policy and the notability of the subject can be established. If you still feel that this subject is worthy of inclusion in Wikipedia, please rewrite your submission to comply with these policies.

If you would like to continue working on the submission, click on the "Edit" tab at the top of the window.
If you have not resolved the issues listed above, your draft will be declined again and potentially deleted.
If you need extra help, please ask us a question at the AfC Help Desk or get live help from experienced editors.
Please do not remove reviewer comments or this notice until the submission is accepted.

Where to get help

If you need help editing or submitting your draft, please ask us a question at the AfC Help Desk or get live help from experienced editors. These venues are only for help with editing and the submission process, not to get reviews.
If you need feedback on your draft, or if the review is taking a lot of time, you can try asking for help on the talk page of a relevant WikiProject. Some WikiProjects are more active than others so a speedy reply is not guaranteed.

How to improve a draft

Wikipedia:Contributing to Wikipedia – a basic overview on how to edit Wikipedia.
Help:Wikitext – how to use the markup
Help:Referencing for beginners – how to include references
Wikipedia:Article development – how to develop your article
Wikipedia:Writing better articles – how to improve your article
Wikipedia:Verifiability – make sure your article includes reliable third-party sources

You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article.

Improving your odds of a speedy review

To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags.

Add tags to your draft

Editor resources

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL
Easy tools: Citation bot (help) | Advanced: Fix bare URLs

Declined by Qcne 5 months ago. Last edited by Lear419 5 months ago. Reviewer: Inform author.

Resubmit

Please note that if the issues are not fixed, the draft will be declined again.

Submission declined on 24 November 2023 by WikiOriginal-9 (talk).

This draft's references do not show that the subject qualifies for a Wikipedia article. In summary, the draft needs multiple published sources that are:

in-depth (not just passing mentions about the subject)
reliable
secondary
independent of the subject

Make sure you add references that meet these criteria before resubmitting. Learn about mistakes to avoid when addressing this issue. If no additional references exist, the subject is not suitable for Wikipedia.

Declined by WikiOriginal-9 5 months ago.

Comment: I know this is open source, but the opening reads like a weird promotional advert? Qcne (talk) 13:47, 25 November 2023 (UTC)

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. However, since it is open-source software, FRET is available to anyone who wants to create precise, unambiguous requirements for their applications.

In most specifications, requirements are written in natural language, which is ambiguous and consequently cannot be formally analyzed. Since formal, mathematical notations are unintuitive, requirements in FRET are entered in a restricted, natural language called FRETish ^[1] with precise unambiguous meaning. FRET helps users write FRETish requirements both by providing grammar information and examples during editing, but also through English and diagrammatic explanations to clarify subtle semantic issues. For each requirement, FRET automatically produces formalizations ^[2] and supports interactive simulation of produced formalizations to ensure that they capture user intentions. Through its analysis portal, FRET connects to analysis tools by exporting verification code. ^[3]

Example Requirements and Templates edit

FRET includes a set of example requirements and templates to aid users in understanding FRETish and using FRET.

Import/Export edit

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 edit

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.

Installation edit

Detailed information for installation and use can be found in the FRET manual.^[4]

Supported Platforms edit

FRET has been tested in a range of architecture/operating system combinations. It has been tested on PC Intel, Apple Mac and Sun architectures, with different versions and distributions of Windows, Mac OS X, and Linux.

Languages edit

FRET is written primarily in JavaScript.

License edit

FRET has been released under the NASA Open Source Agreement version 1.3.^[5]

GitHub edit

FRET is hosted on GitHub

References edit

^ A compositional proof framework for FRETish requirements. Retrieved from https://dl.acm.org/doi/abs/10.1145/3497775.3503685
^ Generation of Formal Requirements from Structured Natural Language. Retrieved from https://link.springer.com/chapter/10.1007/978-3-030-44429-7_2
^ Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. Retrieved from https://link.springer.com/chapter/10.1007/978-3-030-44429-7_2
^ FRET: Formal Requirements Elicitation Tool. Retrieved from https://github.com/NASA-SW-VnV/fret/blob/master/fret-electron/docs/_media/userManual.md
^ NASA Open Source Agreement version 1.3. Retrieved from https://github.com/NASA-SW-VnV/fret/blob/master/LICENSE.pdf

[1] A compositional proof framework for FRETish requirements. Retrieved from https://dl.acm.org/doi/abs/10.1145/3497775.3503685

[2] Generation of Formal Requirements from Structured Natural Language. Retrieved from https://link.springer.com/chapter/10.1007/978-3-030-44429-7_2

[3] Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. Retrieved from https://link.springer.com/chapter/10.1007/978-3-030-44429-7_2

[4] FRET: Formal Requirements Elicitation Tool. Retrieved from https://github.com/NASA-SW-VnV/fret/blob/master/fret-electron/docs/_media/userManual.md

[5] NASA Open Source Agreement version 1.3. Retrieved from https://github.com/NASA-SW-VnV/fret/blob/master/LICENSE.pdf

[1]

[2]

[3]

[4]

[5]