Case Study

2013 - Collaboration between Blue Bear and D-RisQ in the TSB’s Novel Autonomous Robotics Call


A Blue Bear initiative to verify Guidance, Navigation and Control software components used on unmanned vehicles in January 2013, has led to a collaborative project between Blue Bear and D-RisQ in the TSB’s Novel Autonomous Robotics Call. The project is investigating the use of formal methods for the verification of unmanned vehicle control system software components. The project started 1 Aug 2013 and is due to complete March 2014.

Next Steps...

You can call us on: +44 (0) 1234 826620