Skip to content

A Corroborative Approach to Verification and Validation of Human–Robot Teams

Research output: Contribution to journalArticle

  • Matthew Webster
  • David Western
  • Dejanira Araiza Illan
  • Clare Dixon
  • Kerstin I Eder
  • Michael Fisher
  • Anthony G Pipe
Original languageEnglish
Number of pages27
JournalInternational Journal of Robotics Research (IJRR)
DOIs
DateAccepted/In press - 23 Jul 2019
DatePublished (current) - 25 Nov 2019

Abstract

We present an approach for the verification and validation (V&V) of robot assistants in the context of human-robot interactions (HRI), to demonstrate their trustworthiness through corroborative evidence of their safety and functional correctness. Key challenges include the complex and unpredictable nature of the real world in which assistant and service robots operate, the limitations on available V&V techniques when used individually, and the consequent lack of confidence in the V&V results. Our approach, called corroborative V&V, addresses these challenges by combining several different V&V techniques; in this paper we use formal verification (model checking), simulation-based testing, and user validation in experiments with a real robot. This combination of approaches allows V&V of the HRI task at different levels of modelling detail and thoroughness of exploration, thus overcoming the individual limitations of each technique. We demonstrate our approach through a handover task, the most critical part of a complex cooperative manufacturing scenario, for which we propose safety and liveness requirements to verify and validate. Should the resulting V&V evidence present discrepancies, an iterative process between the different V&V techniques takes place until corroboration between the V&V techniques is gained from refining and improving the assets (i.e., system and requirement models) to represent the HRI task in a more truthful manner. Therefore, corroborative V&V affords a systematic approach to “‘meta-V&V,” in which different V&V techniques can be used to corroborate and check one another, increasing the level of certainty in the results of V&V.

    Research areas

  • Human–robot interaction, verification, validation, model checking, simulation, testing

Download statistics

No data available

Documents

Documents

  • Full-text PDF (final published version)

    Rights statement: This is the final published version of the article (version of record). It first appeared online via Sage at https://journals.sagepub.com/doi/10.1177/0278364919883338. Please refer to any applicable terms of use of the publisher.

    Final published version, 1.73 MB, PDF document

    Licence: CC BY

DOI

View research connections

Related faculties, schools or groups