Workshop: Software Verification and Validation for Complex Systems – 17 May 2017

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