Overview
This workshop, held on 1st July 2016, was organsied by the EPSRC Network on the “Verification and Validation of Autonomous Systems”, www.vavas.org, together with the EPSRC funded project “Towards More Autonomy for Unmanned Vehicles: Situational Awareness and Decision Making under Uncertainty”.
Organisers: Wen-Hua Chen (Loughborough) – Michael Fisher (Liverpool) – Nikos Pronios (Innovate UK)
Venue and registration:
The Workshop was held in Sheffield and associated with the TAROS conference. It was free to attend and participants registered via the TAROS web site.
The aim was to showcase the Verification and Validation (V&V) challenges that industrial colleagues are facing as they look to introduce greater autonomy into their products/sectors/services.
Workshop – slides are available by clicking on the presentation titles below:
|
TIME |
TOPIC | SPEAKER |
|
9:00 |
Introduction and welcome |
Wen-Hua Chen, Michael Fisher, Nikos Pronios |
|
9:10 |
||
| 9:30 |
Bringing automation to a high risk industry: how can we trust the machines? |
Richard Dearden (Schlumberger) |
| 9:55 |
Future Scenarios for Robotics in the Nuclear Sector |
Paul Mort (Sellafield) |
| 10:20 | EPSRC (AIS) project “Reconfigurable Autonomy” |
Jonathan Aitken (Sheffield) |
| 10:45 |
BREAK |
|
|
11:10 |
The Cost of Autonomy | Colin O’Halloran (D-RisQ Ltd) |
|
11:35 |
How will V&V of the CAV differ from ADAS? | Mark Cund (Jaguar Land Rover) |
|
12:00 |
Autolanding for Unmanned Aircraft System |
Matthew Coombes (Loughborough University) |
| 12:40 |
LUNCH |
including demonstrations of “Towards More Autonomy for Unmanned Vehicles” work |
| 13:20 |
Software Verification for Autonomy: A Tour of Projects and Experiences |
Roderick Chapman, Principal Engineer, (Altran UK) |
| 13:45 | Roger Ward (SciSys) |
|
| 14:10 | EPSRC (AIS) project “Distributed Sensing, Control and Decision-Making in Multiagent Autonomous Systems” |
Hongyang Qu Sheffield |
|
14:35 |
PANEL (involving all industrial speakers) Question 1: Is there a common V&V issue across industrial sectors? Question 2: What is this best route to progress the V&V work? |
Chaired by Nikos Pronios (Innovate UK) |
|
16:00 |
CLOSE | |
Verification & Validation of Autonomous Systems 