Fisher, Michael, Cardoso, Rafael C 
ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334 et al (show 7 more authors)
(2021)
An Overview of Verification and Validation Challenges for Inspection Robots.
ROBOTICS, 10 (2).
p. 67.
|
Text
robotics-10-00067.pdf - Published version Download (819kB) | Preview |
Abstract
<jats:p>The advent of sophisticated robotics and AI technology makes sending humans into hazardous and distant environments to carry out inspections increasingly avoidable. Being able to send a robot, rather than a human, into a nuclear facility or deep space is very appealing. However, building these robotic systems is just the start and we still need to carry out a range of verification and validation tasks to ensure that the systems to be deployed are as safe and reliable as possible. Based on our experience across three research and innovation hubs within the UK’s “Robots for a Safer World” programme, we present an overview of the relevant techniques and challenges in this area. As the hubs are active across nuclear, offshore, and space environments, this gives a breadth of issues common to many inspection robots.</jats:p>
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | robotic inspection, software architectures, formal verification, testing |
| Divisions: | Faculty of Science and Engineering > School of Engineering |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 30 Apr 2021 08:06 |
| Last Modified: | 18 Jan 2023 22:49 |
| DOI: | 10.3390/robotics10020067 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3121086 |
Altmetric
Altmetric
