Workshop: Software Verification and Validation for Complex Systems

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:

(Timings and talks to be confirmed and may be subject to change)

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

10.15

PEnDAR – Performance ENsurance by Design, Analysing Requirements

Predictable Network Solutions Ltd

10.45

Break


11.00

Advanced Hardware Verification Techniques for CPS V&V

Test and Verification Solutions Ltd

11:30

SureSwarm

D-RisQ Ltd 

12:00

SeaSwarm

D-RisQ Ltd

12:30

Lunch

13:15

Testminer

Dependable Real Time Systems Limited

13:30

Verification of UAS decisions in Complex Physical Environments

SysBrain Ltd

14:15

Cyber-physical connectivity in Connected and Autonomous Vehicles

Rafal Zbikowski (Cranfield University)

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