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

Dejanira Araiza-Illan; David Western; Anthony Pipe; Kerstin Eder

doi:10.1007/978-3-319-26287-1_5

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 proceeding › Conference Contribution (Conference Proceeding)

19 Citations (Scopus)

344 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 language	English
Title of host publication	Hardware and Software: Verification and Testing
Subtitle of host publication	11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Editors	Nir Piterman
Publisher	Springer Verlag
Pages	69-84
Number of pages	16
ISBN (Electronic)	9783319262871
ISBN (Print)	9783319262864
DOIs	https://doi.org/10.1007/978-3-319-26287-1_5
Publication status	Published - 28 Nov 2015
Event	11th International Haifa Verification Conference, HVC 2015 - Haifa, Israel Duration: 17 Nov 2015 → 19 Nov 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Number	2015
Volume	9434
ISSN (Print)	0302-9743

Conference

Conference	11th International Haifa Verification Conference, HVC 2015
Country/Territory	Israel
City	Haifa
Period	17/11/15 → 19/11/15

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-319-26287-1_5

Dejanira_paper
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-26287-1_5
Accepted author manuscript, 1.58 MB

Handle.net

Persistent link

Cite this

Araiza-Illan, D., Western, D., Pipe, A., & Eder, K. (2015). Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans. In N. Piterman (Ed.), Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (pp. 69-84). (Lecture Notes in Computer Science; Vol. 9434, No. 2015). Springer Verlag. https://doi.org/10.1007/978-3-319-26287-1_5

Araiza-Illan, Dejanira ; Western, David ; Pipe, Anthony et al. / Coverage-Driven Verification : An Approach to Verify Code for Robots that Directly Interact with Humans. Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. editor / Nir Piterman. Springer Verlag, 2015. pp. 69-84 (Lecture Notes in Computer Science; 2015).

@inproceedings{5a0ced19f258427e82962980b0749d5a,

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

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. ",

author = "Dejanira Araiza-Illan and David Western and Anthony Pipe and Kerstin Eder",

year = "2015",

month = nov,

day = "28",

doi = "10.1007/978-3-319-26287-1_5",

language = "English",

isbn = "9783319262864",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

number = "2015",

pages = "69--84",

editor = "Nir Piterman",

booktitle = "Hardware and Software: Verification and Testing",

address = "Germany",

note = "11th International Haifa Verification Conference, HVC 2015 ; Conference date: 17-11-2015 Through 19-11-2015",

}

Araiza-Illan, D, Western, D, Pipe, A & Eder, K 2015, Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans. in N Piterman (ed.), Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Lecture Notes in Computer Science, no. 2015, vol. 9434, Springer Verlag, pp. 69-84, 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, 17/11/15. https://doi.org/10.1007/978-3-319-26287-1_5

Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans. / Araiza-Illan, Dejanira; Western, David; Pipe, Anthony et al.
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. ed. / Nir Piterman. Springer Verlag, 2015. p. 69-84 (Lecture Notes in Computer Science; Vol. 9434, No. 2015).

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

TY - GEN

T1 - Coverage-Driven Verification

T2 - 11th International Haifa Verification Conference, HVC 2015

AU - Araiza-Illan, Dejanira

AU - Western, David

AU - Pipe, Anthony

AU - Eder, Kerstin

PY - 2015/11/28

Y1 - 2015/11/28

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

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

UR - http://www.scopus.com/inward/record.url?scp=84950253328&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-26287-1_5

DO - 10.1007/978-3-319-26287-1_5

M3 - Conference Contribution (Conference Proceeding)

AN - SCOPUS:84950253328

SN - 9783319262864

T3 - Lecture Notes in Computer Science

SP - 69

EP - 84

BT - Hardware and Software: Verification and Testing

A2 - Piterman, Nir

PB - Springer Verlag

Y2 - 17 November 2015 through 19 November 2015

ER -

Araiza-Illan D, Western D, Pipe A, Eder K. Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans. In Piterman N, editor, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Springer Verlag. 2015. p. 69-84. (Lecture Notes in Computer Science; 2015). doi: 10.1007/978-3-319-26287-1_5

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

Abstract

Publication series

Conference

UN SDGs

Access to Document

Handle.net

Other files and links

Fingerprint

Trustworthy Robotic Assistants

Professor Kerstin I Eder

Cite this

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

Abstract

Publication series

Conference

UN SDGs

Access to Document

Handle.net

Other files and links

Fingerprint

Projects

Trustworthy Robotic Assistants

Profiles

Professor Kerstin I Eder

Cite this