ENSURING PLATFORMS AND
SOFTWARE WILL PERFORM
AS EXPECTED
Safety is of paramount importance when
designing robotic and autonomous systems
to be deployed in a nuclear facility. RAIN
researchers' expertise in the verification
and validation of autonomous systems is
ensuring the platforms we develop, and
the software they use, will perform
as expected.
We have been researching verifiable
autonomous systems architectures, and
provide extensive expertise in this relatively
new field. In particular, we are linking
nuclear regulation with verification and
validation by leading workshops with the
Office for Nuclear Regulation on the
"Future of Nuclear Robotics Safety Cases"
and initial collaborations regarding
safety case exemplars and verifiable
safety monitors.
The RAIN Hub will develop robotic
architectures designed for verifiability, and
validation techniques to effectively analyse
these robotic systems. It is also preparing
for verification of multi-robot systems, and
long-lived autonomy via self-awareness
and fault tolerance.
Verifying these technologies will involve
core developments in expressiveness,
scalability and heterogeneous
specification, and verification of planning.
Linking with regulators will make
deployment of these novel technologies
safe and possible.
SAFETY AND VERIFIABILITY
Lead: Michael Fisher, University of Liverpool
14
