Verification Futures 2019

Conference:Verification Futures 2019 (click here to see full programme)
Speaker:Prof Colin O’Halloran, D-RisQ Ltd
Presentation Title:Assuring Swarms
Abstract:An autonomous vehicle individually has to comply with its behavioural Specification and a swarm comprising a collection of autonomous vehicles has to comply with the behavioural specification for the swarm.  This presents a very large state space to be verified.

This talk will cover how we have approached the verification of both aspects while meeting standards such as DO-178C/DO-333 using formal methods.

Speaker Bio:Prof O’Halloran is an international authority on critical software and systems.  He has recently been appointed to the BCS Academy Research Committee.  He has led a number of teams in the development and use of formal methods based techniques.

He was the UK representative on the Ariane V Board of Inquiry (and he found the problem) and led the team that undertook the fully independent verification of the Typhoon flight control system software as well as verification of a further 15 or so systems.  Colin is now the Technical Director at D-RisQ where he leads the development of a suite of verification tools for English requirements through design code on object code as well as significant tooling for cyber security.