Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans

Dejanira Araiza-Illan, David Western, Anthony Pipe, Kerstin Eder*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

10 Citations (Scopus)
246 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationHardware and Software: Verification and Testing
Subtitle of host publication11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
EditorsNir Piterman
PublisherSpringer Verlag
Pages69-84
Number of pages16
ISBN (Electronic)9783319262871
ISBN (Print)9783319262864
DOIs
Publication statusPublished - 28 Nov 2015
Event11th International Haifa Verification Conference, HVC 2015 - Haifa, Israel
Duration: 17 Nov 201519 Nov 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Number2015
Volume9434
ISSN (Print)0302-9743

Conference

Conference11th International Haifa Verification Conference, HVC 2015
CountryIsrael
CityHaifa
Period17/11/1519/11/15

Fingerprint

Dive into the research topics of 'Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans'. Together they form a unique fingerprint.

Cite this