Coverage-driven verification — an approach to verify code for robots that directly interact with humans

Araiza-Illan, D., Western, D., Pipe, A. G. and Eder, K. (2015) Coverage-driven verification — an approach to verify code for robots that directly interact with humans. Lecture Notes in Computer Science, 9434. pp. 69-84. ISSN 0302-9743 Available from: http://eprints.uwe.ac.uk/29326

Full text not available from this repository

Publisher's URL: http://dx.doi.org/10.1007/978-3-319-26287-1_5

Abstract/Description

Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their working environment necessitates testing in realistic detail under a broad range of circumstances. We propose the use of Coverage-Driven Verification (CDV) to meet this challenge. By automating the simulation-based testing process as far as possible, CDV provides an efficient route to coverage closure. We discuss the need, practical considerations, and potential benefits of transferring this approach from microelectronic design verification to the field of human-robot interaction. We demonstrate the validity and feasibility of the proposed approach by constructing a custom CDV testbench and applying it to the verification of an object handover task.

Item Type:Article
Uncontrolled Keywords:robot-human interaction, code verification, coverage-driven
Faculty/Department:Faculty of Environment and Technology
ID Code:29326
Deposited By: B. Jones
Deposited On:04 Jul 2016 14:12
Last Modified:04 Jul 2016 14:12

Request a change to this item