"It works really well!": verification in theory and practice

Dejanira Araiza-Illan, John S. Baras, Emily C. Collins, Angelo Ferraro, Michael Fisher, Nico Hochgeschwender, Javier Ibanez-Guzman, Kevin Leahy, Joanna Isabelle Olszewska, Signe Redfield, Cristian Vasile

Research output: Contribution to conferenceOtherpeer-review

1 Downloads (Pure)

Abstract

“It works really well!” is the expected conclusion of academic publications, technical reports, and project outcomes that seek to demonstrate a designed system (i.e. robot, autonomous vehicle, controller) is functionally sound, safe and/or trustworthy. In this workshop, we dissected and examined under a critical eye each component of the phrase:
- the “It”, namely how the system-under-test has been defined for verification and validation purposes, and how this meets the needs for robotics in sectors such as autonomous vehicles and medical robots;
- the “works”, namely the definition of the system’s tasks or behaviours, including systems that might learn and at industrial scale;
- the “really well”, namely the formulation of metrics, evaluation tools, reproducibility and replicability frameworks, and extensibility to an “industrial grade”; and, furthermore, the ability to openly report “failures”. The workshop will bring together experts in robotics, verification and validation, end-user experience, regulations and standards, formal methods, assurance and certification, and industries including healthcare, transportation, aviation, military, and automotive.

Conference

Conference2023 IEEE International Conference on Intelligent Robots and Systems
Abbreviated titleIROS
Country/TerritoryUnited States
CityDetroit
Period1/10/235/10/23
Internet address

Fingerprint

Dive into the research topics of '"It works really well!": verification in theory and practice'. Together they form a unique fingerprint.

Cite this