Adventures in FRET and Specification

Farrell, Marie; Luckcuck, Matt; Monahan, Rosemary; Reynolds, Conor; Sheridan, Oisín

Abstract

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 where we used FRET to capture the system’s requirements. These formalised requirements subsequently guided the case study specifications in a combination of formal paradigms. For each case study we summarise insights gained during this process, exploring the expressiveness and the potential interoperability of these approaches.  Our experience confirms FRET’s suitability as a framework for the elicitation and understanding of requirements and for providing traceability from requirements to specification.

Citation

Farrell, M., Luckcuck, M., Monahan, R., Reynolds, C., & Sheridan, O. (2024, October). Adventures in FRET and Specification. Presented at 12th International Symposium, ISoLA 2024, Crete, Greece

• Presentation Conference Type: Edited Proceedings
• Conference Name: 12th International Symposium, ISoLA 2024
• Start Date: Oct 27, 2024
• End Date: Oct 31, 2024
• Acceptance Date: Jul 4, 2024
• Online Publication Date: Oct 30, 2024
• Publication Date: Jan 1, 2025
• Deposit Date: Mar 3, 2025
• Publicly Available Date: Jun 9, 2025
• Print ISSN: 0302-9743
• Electronic ISSN: 1611-3349
• Peer Reviewed: Peer Reviewed
• Volume: 15221 LNCS
• Pages: 106-123
• Series Title: Lecture Notes in Computer Science
• Series Number: 15221
• Series ISSN: 1611-3349
• Book Title: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: Proceedings, Part III
• ISBN: 9783031753794
• DOI: https://doi.org/10.1007/978-3-031-75380-0_7
• Public URL: https://nottingham-repository.worktribe.com/output/45862798
• Publisher URL: https://link.springer.com/chapter/10.1007/978-3-031-75380-0_7
• Additional Information: First Online: 30 October 2024; Conference Acronym: ISoLA; Conference Name: International Symposium on Leveraging Applications of Formal Methods; Conference City: Crete; Conference Country: Greece; Conference Year: 2024; Conference Start Date: 27 October 2024; Conference End Date: 31 October 2024; Conference Number: 12; Conference ID: isola2024; Conference URL: https://isola-conference.org/