angleTop Created with Sketch.

High Integrity Software 2017 Conference — October 17 — Bristol, UK

angleBottom Created with Sketch.
« Back to main Programme

Verification and Validation of Robotic Assistants

Dr Clare Dixon

Senior Lecturer, University of Liverpool

Robot assistants are being developed to help, or work, closely with humans in industrial, domestic and health care environments. In these environments the robots will need to be able to act autonomously and make decisions to choose between a range of activities and yet will need to operate close to, or in collaboration with humans. We need to make sure that such robotic assistants are reliable, safe and trustworthy.

In this talk I will discuss our experiences from the EPSRC-funded Trustworthy Robot Assistants project in developing and applying three approaches to the verification and validation of robotic assistants. In particular, we consider two scenarios: a personal robot assistant located in a domestic style house, and a robotic co-worker for a cooperative manufacturing task.

About Dr Clare Dixon

Clare Dixon is a Senior Lecturer in the Department of Computer Science and member of the Centre for Autonomous Systems Technology, at the University of Liverpool, where she heads the Robotics and Autonomous Systems Research Group. She has over twenty years' experience in developing and applying temporal verification methods, including temporal proof and model checking. Recently, she has been applying verification to robotic systems including swarm robotics and personal assistant robots. Her paper ' "The Fridge Door is Open" - Temporal Verification of a Robotic Assistant's Behaviours' won the best paper prize at the TAROS 2014 conference. She has been an investigator on ten externally funded projects, including a recent EPSRC funded project developing and applying verification and validation techniques to personal assistant and manufacturing robots.

Sponsored by

AdaCore Altran Jaguar Land Rover

Supported by

BAE Systems