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 条

[11]

Araiza-Illan D., 2015, P 11 INT HAIF VER C, P69

[12] Verifying privacy-type properties in a modular way [J].

Arapinis, Myrto ;

Cheval, Vincent ;

Delaune, Stephanie .

2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2012, :95-109

[13] A Survey on Testing for Cyber Physical System [J].

Asadollah, Sara Abbaspour ;

Inam, Rafia ;

Hansson, Hans .

TESTING SOFTWARE AND SYSTEMS, ICTSS 2015, 2015, 9447 :194-207

[14] Battery Transition Systems [J].

Boker, Udi ;

Henzinger, Thomas A. ;

Radhakrishna, Arjun .

ACM SIGPLAN NOTICES, 2014, 49 (01) :595-606

[15]

Bonner M.C., 2004, CONT ERGONOMICS 2000, P70

[16]

Book G., 2006, Security Threats Against Space Missions

[17]

Bratman M., 1987, INTENTION PLANS PRAC, DOI DOI 10.2307/2185304

[18] On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots [J].

Bremner, Paul ;

Dennis, Louise A. ;

Fisher, Michael ;

Winfield, Alan F. .

PROCEEDINGS OF THE IEEE, 2019, 107 (03) :541-561

[19]

British Standards Institution (BSI), 2016, 8611 BS

[20] A ROBUST LAYERED CONTROL-SYSTEM FOR A MOBILE ROBOT [J].

BROOKS, RA .

IEEE JOURNAL OF ROBOTICS AND AUTOMATION, 1986, 2 (01) :14-23

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