Held at Engineers’ House, The Promenade, Clifton Down, Bristol, the aim of the workshop was to develop links between communities (including structural testing, simulation-based testing, safety-critical testing and safety case construction, and formal methods) to help them join forces in addressing the intellectual challenges that lead to safe and trustworthy autonomous systems.
The unifying theme was verification in the broad sense – the process of gaining confidence that a system meets its specification. The workshop started from the premise that no single technique (or class of techniques) will be adequate on its own, and acknowledged that other network events have thoroughly covered formal V&V techniques. The workshop therefore focused on how dynamic testing, specifically, could contribute to autonomous system verification.
Workshop Schedule
Day 1 – Crystallizing the challenges we want to focus on
presentations available by clicking the links below:
|
TIME |
TOPIC | SPEAKER |
|
10:30 |
Registration |
|
|
11:00
|
Scene-setting talk |
Rob, Rob and Kerstin – Introductions and opening exercise |
| 11:30 |
Talk 1: Safety Challenges of connected and autonomous vehicles |
Pete Thomas, Professor of Road & Vehicle Safety, University of Loughborough for Nuclear Regulation |
| 12:30 |
Lunch with brainstorming |
|
| 14:00 |
Talk 2: Stressing Complex Systems |
John Clark, Professor of Computer and Information Security, University of Sheffield |
|
Talk 3: The Challenges of V&V for Connected and Autonomous Vehicles |
Siddartha Khastgir, Warwick Manufacturing Group, University of Warwick |
|
|
15:00 |
Challenges – round table session |
|
|
16:30 |
Presentations by participants (coming out of round tables) |
|
|
17:30 |
General discussion and networking |
|
|
18:00 |
Close |
|
|
19:15 |
Dinner – No1 Harbourside |
Day 2 – Identifying avenues of investigation
|
08:30 |
Coffee and pastries |
|
|
09:00 |
Hélène Waeselynck, Directrice de Recherche, LAAS-CNRS |
|
|
09:30 |
Group work on identifying avenues/directions |
|
|
12:00 |
Talk 5: Simulation for Robotics: RoboChart, RoboSim, and more |
Ana Cavalcanti, Professor of Computer Science, University of York |
|
12:30 |
Lunch with networking |
|
|
14:00 |
Summing up and next steps |
lead by Rob, Rob, and Kerstin |
|
13:30 |
Close |
|
Verification & Validation of Autonomous Systems 