Write a Blog >>
Tue 22 Mar 2022 14:00 - 14:45 at Conference Room 1 - Formalization and NLP Chair(s): Fabiano Dalpiaz

[Context & motivation] Eliciting requirements that are detailed and logical enough to be amenable to formal verification is a difficult task. Multiple tools exist for requirements elicitation and some of these also support formalisation of requirements in a way that is useful for formal methods. [Question/problem] This paper reports on our experience of using the Formal Requirements Elicitation Tool (FRET) alongside our industrial partner. The use case that we investigate is an aircraft engine controller. In this context, we evaluate the use of FRET to bridge the communication gap between formal methods experts and aerospace industry specialists. [Principal ideas/results] We describe our journey from ambiguous, natural-language requirements to concise, formalised FRET requirements. We include our analysis of the formalised requirements from the perspective of patterns, translation into other formal methods and the relationship between parent-child requirements in this set. We also provide insight into lessons learned throughout this process and identify future improvements to FRET. [Contribution] Previous experience reports have been published by the FRET team, but this is the first such report of an industrial use case that was written by researchers that have not been involved FRET’s development.

Tue 22 Mar

Displayed time zone: London change

14:00 - 15:30
Formalization and NLPResearch Papers at Conference Room 1
Chair(s): Fabiano Dalpiaz Utrecht University
FRETting About RequirementsScientific Evaluation
Research Papers
Marie Farrell Maynooth University, Matt Luckcuck Maynooth Universtiy, Oisin Sheridan Maynooth University, Rosemary Monahan National University of Ireland
Link to publication DOI Pre-print
Towards Explainable Formal Methods: from LTL to Natural Language with Neural Machine TranslationResearch Preview
Research Papers
Himaja Cherukuri Kennesaw State University, Alessio Ferrari CNR-ISTI, Paola Spoletini Kennesaw State University
Req2Spec: Transforming Software Requirements into Formal Specifications using Natural Language ProcessingResearch Preview
Research Papers
Anmol Nayak Bosch, Hari Prasad Timmapathini ARiSE Labs at Bosch, Vidhya Murali ARiSE Labs at Bosch, Karthikeyan Ponnalagu ARiSE Labs at Bosch, Vijendran Gopalan Venkoparao ARiSE Labs at Bosch, Amalinda Post Robert Bosch GmbH