Workshop supported by: Innovate UK and EPSRC Network on V&V of Autonomous Systems
Date:
Wednesday 17 May 2017
Venue:
University of Liverpool in London
33 Finsbury Square
London
EC2A 1AG
Programme:
|
TIME |
TOPIC | SPEAKER |
|
9:00 |
Registration & Refreshments |
|
|
9.30 |
Welcome and introduction |
Michael Fisher (University of Liverpool) and Nikos Pronios (Innovate UK) |
| 9.45 |
Automated verification process for vehicle-in-the-loop simulators |
Vertizan Ltd – Sean Redmond |
| 10.15 |
PEnDAR – Cost/performance-driven V&V for distributed/cyber-physical systems |
Predictable Network Solutions Ltd Neil Davies and Peter Thompson |
| 10.45 |
Break |
|
| 11.00 |
Advanced Hardware Verification Techniques for CPS V&V |
Test and Verification Solutions Ltd Mike Bartley |
|
11:30 |
SureSwarm |
D-RisQ Ltd – Colin O’Halloran |
|
12:00 |
SeaSwarm |
D-RisQ Ltd – Nick Tudor |
|
12:30 |
Lunch |
|
| 13:15 |
Testminer |
Dependable Real Time Systems Limited |
| 13:30 |
Verification of UAS Decisions Beyond Visual Line of Sight |
SysBrain Ltd – Sandor Veres |
| 14:15 |
Verification and Validation of Robotic Assistants |
Clare Dixon (University of Liverpool) |
| 14:45 |
Break |
|
|
15:00 |
Hyper-Verification: Challenges from Cyber-Physical Systems |
Manuela Bujorianu (University of Strathclyde) |
|
15:20 |
Synthesising (provably correct) controllers for manufacturing |
Brian Logan (University of Nottingham) |
|
15:40 |
Formal verification of swarms via parameterised model checking |
Alessio Lomuscio (Imperial College London) |
|
16:00 |
Close |
|
|
|
||
Registration:
Register via Eventbrite
