An Overview of Verification and Validation Challenges for Inspection RobotsCitation formats

  • External authors:
  • Rafael C. Cardoso
  • Christopher Dadswell
  • Marie Farrell
  • Angelo Ferrando
  • Xiaowei Huang
  • Mike Jump
  • Georgios Kourtis
  • Alexei Lisitsa
  • Matt Luckcuck
  • Shan Luo
  • Vincent Page
  • Fabio Papacchini
  • Matt Webster

Standard

An Overview of Verification and Validation Challenges for Inspection Robots. / Fisher, Michael; Cardoso, Rafael C.; Collins, Emily C.; Dadswell, Christopher; Dennis, Louise A.; Dixon, Clare; Farrell, Marie; Ferrando, Angelo; Huang, Xiaowei; Jump, Mike; Kourtis, Georgios; Lisitsa, Alexei; Luckcuck, Matt; Luo, Shan; Page, Vincent; Papacchini, Fabio; Webster, Matt.

In: robotics, Vol. 10, No. 2, 67, 29.04.2021.

Research output: Contribution to journalArticlepeer-review

Harvard

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 2021, 'An Overview of Verification and Validation Challenges for Inspection Robots', robotics, vol. 10, no. 2, 67. https://doi.org/10.3390/robotics10020067

APA

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. (2021). An Overview of Verification and Validation Challenges for Inspection Robots. robotics, 10(2), [67]. https://doi.org/10.3390/robotics10020067

Vancouver

Author

Fisher, Michael ; Cardoso, Rafael C. ; Collins, Emily C. ; Dadswell, Christopher ; Dennis, Louise A. ; Dixon, Clare ; Farrell, Marie ; Ferrando, Angelo ; Huang, Xiaowei ; Jump, Mike ; Kourtis, Georgios ; Lisitsa, Alexei ; Luckcuck, Matt ; Luo, Shan ; Page, Vincent ; Papacchini, Fabio ; Webster, Matt. / An Overview of Verification and Validation Challenges for Inspection Robots. In: robotics. 2021 ; Vol. 10, No. 2.

Bibtex

@article{69b44619c7a74a39b87ced8ad1b1d05d,
title = "An Overview of Verification and Validation Challenges for Inspection Robots",
abstract = "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{\textquoteright}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.",
keywords = "Formal verification, Robotic inspection, Software architectures, Testing",
author = "Michael Fisher and Cardoso, {Rafael C.} and Collins, {Emily C.} and Christopher Dadswell and Dennis, {Louise A.} and Clare Dixon and Marie Farrell and Angelo Ferrando and Xiaowei Huang and Mike Jump and Georgios Kourtis and Alexei Lisitsa and Matt Luckcuck and Shan Luo and Vincent Page and Fabio Papacchini and Matt Webster",
note = "Funding Information: Funding: This research was funded by the UK Industrial Strategy Challenge Fund (ISCF) delivered by UKRI and managed by EPSRC under the Robotics and AI for Extreme Environments programme with grants Robotics and AI in Nuclear (RAIN) Hub (EP/R026084/1), Future AI and Robotics for Space (FAIR-SPACE) Hub (EP/R026092/1), and Offshore Robotics for Certification of Assets (ORCA) Hub (EP/R026173/1) and the EPSRC under the Science of Sensor System Software programme grant (EP/N007565/1). Fisher was supported by the Royal Academy of Engineering via a Chair in Emerging Technologies. Publisher Copyright: {\textcopyright} 2021 by the authors. Licensee MDPI, Basel, Switzerland.",
year = "2021",
month = apr,
day = "29",
doi = "10.3390/robotics10020067",
language = "English",
volume = "10",
journal = "robotics",
issn = "2218-6581",
publisher = "MDPI",
number = "2",

}

RIS

TY - JOUR

T1 - An Overview of Verification and Validation Challenges for Inspection Robots

AU - Fisher, Michael

AU - Cardoso, Rafael C.

AU - Collins, Emily C.

AU - Dadswell, Christopher

AU - Dennis, Louise A.

AU - Dixon, Clare

AU - Farrell, Marie

AU - Ferrando, Angelo

AU - Huang, Xiaowei

AU - Jump, Mike

AU - Kourtis, Georgios

AU - Lisitsa, Alexei

AU - Luckcuck, Matt

AU - Luo, Shan

AU - Page, Vincent

AU - Papacchini, Fabio

AU - Webster, Matt

N1 - Funding Information: Funding: This research was funded by the UK Industrial Strategy Challenge Fund (ISCF) delivered by UKRI and managed by EPSRC under the Robotics and AI for Extreme Environments programme with grants Robotics and AI in Nuclear (RAIN) Hub (EP/R026084/1), Future AI and Robotics for Space (FAIR-SPACE) Hub (EP/R026092/1), and Offshore Robotics for Certification of Assets (ORCA) Hub (EP/R026173/1) and the EPSRC under the Science of Sensor System Software programme grant (EP/N007565/1). Fisher was supported by the Royal Academy of Engineering via a Chair in Emerging Technologies. Publisher Copyright: © 2021 by the authors. Licensee MDPI, Basel, Switzerland.

PY - 2021/4/29

Y1 - 2021/4/29

N2 - 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.

AB - 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.

KW - Formal verification

KW - Robotic inspection

KW - Software architectures

KW - Testing

U2 - 10.3390/robotics10020067

DO - 10.3390/robotics10020067

M3 - Article

VL - 10

JO - robotics

JF - robotics

SN - 2218-6581

IS - 2

M1 - 67

ER -