Outputs (3)

FRETting and Formal Modelling: A Mechanical Lung Ventilator (2024)
Presentation / Conference Contribution
Farrell, M., Luckcuck, M., Monahan, R., Reynolds, C., & Sheridan, O. (2024, June). FRETting and Formal Modelling: A Mechanical Lung Ventilator. Presented at Rigorous State-Based Methods (ABZ 2024), Bergamo, Italy

In this paper, we use NASA’s Formal Requirements Elicitation Tool (FRET) and the Event-B formal method to model and verify the requirements for the ABZ 2024 case study, the Mechanical Lung Ventilator. We use the FRET requirements to guide the develop... Read More about FRETting and Formal Modelling: A Mechanical Lung Ventilator.

Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems (2023)
Presentation / Conference Contribution
(2023, November). Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems. Presented at Formal Methods for Autonomous Systems (FMAS 2023), Leiden, The Netherlands

Using formal methods for autonomous systems: Five recipes for formal verification (2021)
Journal Article
Luckcuck, M. (2023). Using formal methods for autonomous systems: Five recipes for formal verification. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 237(2), 278-292. https://doi.org/10.1177/1748006X211034970

Formal Methods are mathematically-based techniques for software design and engineering, which enable the unambiguous description of and reasoning about a system’s behaviour. Autonomous systems use software to make decisions without human control, are... Read More about Using formal methods for autonomous systems: Five recipes for formal verification.