Workshop on Verification and Validation for Offshore Robotics

Sales Have Ended

Registrations are closed
Registration for this event has now closed. If you would like to enquire about attending, please email d.wavell@hw.ac.uk

Event Information

Share this event

Date and Time

Location

Location

Meeting Room 6 - The Event Complex Aberdeen (TECA)

East Burn Road

Stoneywood

Aberdeen

AB21 9FX

United Kingdom

View Map

Sales Have Ended

Registrations are closed
Registration for this event has now closed. If you would like to enquire about attending, please email d.wavell@hw.ac.uk
Event description

Description

This workshop aims to provide an overview of the Verification and Validation (V&V) techniques that might be used to increase reliability, safety, and certifiability of software-intensive robotic systems, especially as they are to increasingly (a) be deployed in hazardous environments, (b) be autonomous, and (c) involve AI techniques such as deep learning.

This is an opportunity to find out more about V&V techniques relevant to robotics and AI systems, and to engage with experts in the area. As well as presentations, there will be opportunities for both a Q&A session and for individual discussions.

The speakers:

  • Professor Michael Fisher, University of Liverpool

  • Dr. Xiaowei Huang, University of Liverpool

  • Dr. Mike Jump, University of Liverpool

The workshop will provide an introduction to relevant topics, including:

  • Verification and validation techniques

  • Different strengths of evidence from different techniques

  • Autonomy, AI techniques, and cyber-physical systems

  • Specific techniques for the verification of autonomous systems

  • Specific tools and techniques for the analysis of deep learning systems

  • Specific techniques for the testing of robotic systems in synthetic environments

The presentations are supported by tools that can be used for V&V, such as:

Programme:

  • Introduction to verification and validation - Michael Fisher

  • Simulation and testing for physical autonomous systems - Mike Jump

  • V&V tools for learning systems - Xiaowei Huang

  • Analysing autonomous behaviour (what is the step change?) - Michael Fisher

  • Q&A

Share with friends

Date and Time

Location

Meeting Room 6 - The Event Complex Aberdeen (TECA)

East Burn Road

Stoneywood

Aberdeen

AB21 9FX

United Kingdom

View Map

Save This Event

Event Saved