16 citations · 29 across the 11 of their papers we have counts for
10 papers · 1 filter
Adventures in FRET and Specification
Marie Farrell, Matt Luckcuck, Rosemary Monahan +2
This paper gives an overview of previous work in which the authors used NASA's Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies wh…
Why just FRET when you can Refactor? Retuning FRETISH Requirements
Matt Luckcuck, Marie Farrell, Oisín Sheridan
Formal verification of a software system relies on formalising the requirements to which it should adhere, which can be challenging. While formalising requirements from natural-lan…
Towards Refactoring FRETish Requirements
Marie Farrell, Matt Luckcuck, Oisin Sheridan +1
Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make…
A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements
Matt Luckcuck, Marie Farrell, Oisín Sheridan +1
Verification of complex, safety-critical systems is a significant challenge. Manual testing and simulations are often used, but are only capable of exploring a subset of the system…
Towards Compositional Verification for Modular Robotic Systems
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell +2
Software engineering of modular robotic systems is a challenging task, however, verifying that the developed components all behave as they should individually and as a whole presen…
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
Antonio Cerone, Markus Roggenbach, James Davenport +10
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, i…