Event Date

3rd December 2020

Event Time

9:30am – 10:30am

Event Vanue

Zoom meeting

An overview of the A2I2 underwater tetherless unmanned vehicle project, Nick Tudor (CEO, D-RisQ)

Abstract: D-RisQ has been working with RAIN to develop a vehicle for underwater nuclear decommissioning. The operation of the vehicle has to be shown to operate safely and hence the software, in which the vast majority of functionality resides, has to be highly assured. This seminar presents an overview of the Autonomous, Underwater, Inspection and Intervention (A2I2) project and the formal verification techniques used to verify the safety monitoring software.

We uses cookies to ensure you get the best experience on our website.