An Overview of Verification and Validation Challenges for Inspection Robots

被引：29

作者：

Fisher, Michael ^{[1
]}

Cardoso, Rafael C. ^{[1
]}

Collins, Emily C. ^{[1
]}

Dadswell, Christopher ^{[2
]}

Dennis, Louise A. ^{[1
]}

Dixon, Clare ^{[1
]}

Farrell, Marie ^{[3
]}

Ferrando, Angelo ^{[1
]}

Huang, Xiaowei ^{[4
]}

Jump, Mike ^{[2
]}

Kourtis, Georgios ^{[1
]}

Lisitsa, Alexei ^{[4
]}

Luckcuck, Matt ^{[3
]}

Luo, Shan ^{[4
]}

Page, Vincent ^{[2
]}

Papacchini, Fabio ^{[4
]}

Webster, Matt ^{[5
]}

机构：

[1] Univ Manchester, Dept Comp Sci, Manchester M13 9PL, Lancs, England

[2] Univ Liverpool, Sch Engn, Liverpool L69 3GH, Merseyside, England

[3] Maynooth Univ, Dept Comp Sci, Maynooth W23 N7F6, Kildare, Ireland

[4] Univ Liverpool, Dept Comp Sci, Liverpool L69 3BX, Merseyside, England

[5] Liverpool John Moores Univ, Sch Comp Sci & Math, Liverpool L3 3AF, Merseyside, England

来源：

ROBOTICS | 2021年 / 10卷 / 02期

基金：

英国工程与自然科学研究理事会;

关键词：

robotic inspection; software architectures; formal verification; testing; MODEL CHECKING; BEHAVIOR;

D O I：

10.3390/robotics10020067

中图分类号：

TP24 [机器人技术];

学科分类号：

080202 ; 1405 ;

摘要：

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.

引用

页数：29

共 136 条

[1]

Abdulla PA, 2004, LECT NOTES COMPUT SC, V3170, P35

[2] Agent systems verification : systematic literature review and mapping [J].

Abu Bakar, Najwa ;

Selamat, Ali .

APPLIED INTELLIGENCE, 2018, 48 (05) :1251-1274

[3] An architecture for autonomy [J].

Alami, R ;

Chatila, R ;

Fleury, S ;

Ghallab, M ;

Ingrand, F .

INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 1998, 17 (04) :315-337

[4]

Albus J.S., 1981, P 23 IEEE COMP SOC I

[5]

Alechina N, 2010, SPECIFICATION AND VERIFICATION OF MULTI-AGENT SYSTEMS, P1, DOI 10.1007/978-1-4419-6984-2_1

[6]

Andoni Merlinda, 2017, CIRED - Open Access Proceedings Journal, V2017, P96, DOI 10.1049/oap-cired.2017.0657

[7]

[Anonymous], 2009, An Introduction to Multi -Agent Systems

[8]

[Anonymous], 2015, 151103791 ARXIV

[9]

[Anonymous], 2012, Int. J. Mech. Eng. Mechatronics

[10]

[Anonymous], 2009, ICRA WORKSH OP SOURC

← 1 2 3 4 5 6 7 8 9 10 →