Next Article in Journal
GazeEMD: Detecting Visual Intention in Gaze-Based Human-Robot Interaction
Next Article in Special Issue
Robotic Exploration of an Unknown Nuclear Environment Using Radiation Informed Autonomous Navigation
Previous Article in Journal
Unsupervised Online Grounding for Social Robots
Previous Article in Special Issue
Implementation and Evaluation of a Semi-Autonomous Hydraulic Dual Manipulator for Cutting Pipework in Radiologically Active Environments
Article

An Overview of Verification and Validation Challenges for Inspection Robots

1
Department of Computer Science, University of Manchester, Manchester M13 9PL, UK
2
School of Engineering, University of Liverpool, Liverpool L69 3GH, UK
3
Department of Computer Science, Maynooth University, Maynooth, Co., W23 N7F6 Kildare, Ireland
4
Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK
5
School of Computer Science and Mathematics, Liverpool John Moores University, Liverpool L3 3AF, UK
*
Author to whom correspondence should be addressed.
Academic Editor: Marco Ceccarelli
Robotics 2021, 10(2), 67; https://doi.org/10.3390/robotics10020067
Received: 10 March 2021 / Revised: 7 April 2021 / Accepted: 26 April 2021 / Published: 29 April 2021
(This article belongs to the Special Issue Advances in Robots for Hazardous Environments in the UK)
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. View Full-Text
Keywords: robotic inspection; software architectures; formal verification; testing robotic inspection; software architectures; formal verification; testing
Show Figures

Figure 1

MDPI and ACS Style

Fisher, M.; Cardoso, R.C.; Collins, E.C.; Dadswell, C.; Dennis, L.A.; Dixon, C.; Farrell, M.; Ferrando, A.; Huang, X.; Jump, M.; Kourtis, G.; Lisitsa, A.; Luckcuck, M.; Luo, S.; Page, V.; Papacchini, F.; Webster, M. An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 2021, 10, 67. https://doi.org/10.3390/robotics10020067

AMA Style

Fisher M, Cardoso RC, Collins EC, Dadswell C, Dennis LA, Dixon C, Farrell M, Ferrando A, Huang X, Jump M, Kourtis G, Lisitsa A, Luckcuck M, Luo S, Page V, Papacchini F, Webster M. An Overview of Verification and Validation Challenges for Inspection Robots. Robotics. 2021; 10(2):67. https://doi.org/10.3390/robotics10020067

Chicago/Turabian Style

Fisher, Michael, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Page, Fabio Papacchini, and Matt Webster. 2021. "An Overview of Verification and Validation Challenges for Inspection Robots" Robotics 10, no. 2: 67. https://doi.org/10.3390/robotics10020067

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop