Workshop: Dynamic Testing for Autonomous Systems 1-2 February 2018

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

Talk 4: Testing Robot Navigation in Virtual Worlds

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