Outputs (5)

Modelling the Turtle Python library in CSP (2022)
Presentation / Conference Contribution
MacConville, D., Farrell, M., Luckcuck, M., & Monahan, R. (2022, July). Modelling the Turtle Python library in CSP. Presented at Second Workshop on Agents and Robots for reliable Engineered Autonomy, Vienna, Austria

Software verification is an important tool in establishing the reliability of critical systems. One potential area of application is in the field of robotics, as robots take on more tasks in both day-to-day areas and highly specialised domains. Robot... Read More about Modelling the Turtle Python library in CSP.

Towards Refactoring FRETish Requirements (2022)
Presentation / Conference Contribution
Farrell, M., Luckcuck, M., Sheridan, O., & Monahan, R. (2022, May). Towards Refactoring FRETish Requirements. Presented at NASA Formal Methods Symposium (NFM) 2022, California, USA

Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make it easier to understand and modify. We propose refactoring for formal... Read More about Towards Refactoring FRETish Requirements.

Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest (2022)
Presentation / Conference Contribution
Luckcuck, M., & Cardoso, R. C. (2021, May). Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. Presented at 9th International Workshop, EMAS 2021, Virtual Event

Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we de... Read More about Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest.

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller (2022)
Presentation / Conference Contribution
Farrell, M., Luckcuck, M., Sheridan, O., & Monahan, R. (2022, March). FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. Presented at Requirements Engineering: Foundation for Software Quality (REFSQ 2022), Birmingham, UK

[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 requiremen... Read More about FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller (2022)
Presentation / Conference Contribution
Farrell, M., Luckcuck, M., Sheridan, O., & Monahan, R. (2022, March). FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller. Presented at 28th International Working Conference on Requirements Engineering: Foundation for Software Quality, Birmingham, United Kingdom

[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 requiremen... Read More about FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller.