SAFETY AND
VERIFIABILITY
Lead: Michael Fisher, University of Liverpool
Developing innovative
technologies for the nuclear
industry, which necessarily has
a strong safety culture, requires
thorough consideration.
It is essential to provide evidence of safety
and long-term reliability to regulators and
operators, particularly when considering
autonomous systems. With input
from the Office for Nuclear Regulation
(ONR), we are developing Verification
and Validation (V&V) techniques that
can be used to ensure the safety and
reliability of novel technologies taken
onto nuclear sites.
KEY PROGRESS
• Led IROS workshop on "Legacy
Disruptors in Applied Telerobotics:
Improving the Machine, the Interface,
and the Human" (China, November 2019).
• Led formal methods World Congress
workshop on "Formal Methods for
Autonomous Systems" (Portugal,
October 2019).
• Winners of the 2019 "International Multi-
Agent Programming Competition".
• New Runtime Verification Framework
for ROS – "ROSMonitoring".
• Europe Chair for new IEEE Technical
Committee on the "Verification of
Autonomous Systems".
18
