28 citations · 92 across the 14 of their papers we have counts for
3 papers · 1 filter
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
Marie Farrell, Matt Luckcuck, Oisin Sheridan +1
[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…
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…
Building Specifications in the Event-B Institution
Marie Farrell, Rosemary Monahan, James F. Power
This paper describes a formal semantics for the Event-B specification language using the theory of institutions. We define an institution for Event-B, EVT, and prove that it meets…