Workshop on Verification and Validation for Offshore Robotics


4 September 2019 from 09.30 - 12.30 at TECA Aberdeen

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&

Register now.