NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

FRET Project Team Presents and is Awarded at International Conference on Requirements Engineering
Intelligent Systems Division Banner

FRET Project Team Presents and is Awarded at International Conference on Requirements Engineering

The Formal Requirements Elicitation Tool (FRET) team presented three papers (one tool, one research, and one poster paper) at the 26th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020). FRET received a lot of interest from both industrial and academic researchers.

The poster paper titled, “Bridging the Gap Between Requirements and Simulink Model Analysis”, presented by Anastasia Mavridou, won the Best Poster Award. Anastasia Mavridou was invited to give an extended presentation at a special REFSQ award session. Authors: Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, and Johann Schumann.

The research paper titled, “Generation of Formal Requirements from Structured Natural Language”, presented by Dimitra Giannakopoulou and Tom Pressburger, received an Honorary Mention. It was judged by the REFSQ 2020 Program Committee as one of the three top research papers of the Conference. Authors: Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, and Johann Schumann.

The tool paper “Formal Requirements Elicitation with FRET” was presented by Anastasia Mavridou. Several industrial and academic researchers expressed interest in evaluating FRET. Authors: Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, and Nija Shi.

BACKGROUND: Requirements engineering is a central step in the development of safety-critical systems. To this end, the Formal Requirements Elicitation Tool allows users to write, understand, formalize, and analyze requirements. Users write requirements in an intuitive, restricted natural language called FRETish, with precise, unambiguous meaning. For a FRETish requirement, FRET: 1) produces natural language and diagrammatic explanations of its exact meaning, 2) formalizes the requirement in future-time and past-time temporal logic, and 3) supports interactive simulation of produced logic formulas to ensure that they capture user intentions. FRET connects to analysis tools by facilitating the mapping between requirements and models/code, and by generating verification code. FRET is available open source on Github. Contact the FRET team at fret@lists.nasa.gov.

NASA PROGRAM FUNDING: System-Wide Safety (SWS) project, Airspace Operations and Safety Program (AOSP), Aeronautics Research Mission Directorate (ARMD)

TEAM: AUTHORS: Hamza Bourbouh, Pierre-Loic Garoche, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger, Julian Rhein, Johann Schumann, and Nija Shi

POINT OF CONTACT: Dimitra Giannakopoulou: dimitra.giannakopoulou@nasa.gov; Anastasia Mavridou: anastasia.mavridou@nasa.gov, and Tom Pressburger: tom.pressburger@nasa.gov

First Gov logo
NASA Logo - nasa.gov