Autonomous Systems Software

Enabling safe autonomous operation

D-Risq - Square image
D-Risq - Square image
D-Risq - Square image

PROVIDING UNIQUE SAFETY ASSURANCE

Many sectors are building robotics and autonomous systems, but there always remains the question of ‘trust’.  How does a user, the procurer, the general public and the insurance industry, trust that the device will not ‘go rogue’?  It is widely acknowledged that Artificial Intelligence based system’s behaviours are notoriously difficult to assure. So how can they be trusted?  There are significant advantages to using Artificial Intelligence techniques but behavioural assurance has to be proven  before we can really trust them. The most significant issue remains, how to assure the autonomous vehicle’s behaviour when (not ‘if’) communications to the vehicle are lost or denied? Such denial can be when the system is out of the direct control of a human through environment constraints, such as being out of range or underwater.

D-RisQ has developed an approach that enables the benefits of Artificial Intelligence without having to tackle the complexities of its behavioural assurance.

In 4 different sectors, we have evolved our approach to enable the safe deployment of autonomous vehicles that can operate safely without human intervention.   This software product is called ‘Predicate Guard’ and can be adapted for any sector.

USMOOTH: A Predicate Guard development project

This project assured the behaviour of a sea surface vehicle with our partners ASV.  The software enabled the vessel to always comply with the rules-of-the-sea and had advanced behaviour for collision avoidance while allowing artificial intelligence to provide the most efficient path.

Predicate Guard High assurance software for autonomous systems sea safety

DISCOVER MORE

Air BVLOS: A Predicate Guard development project

The major problem with unmanned air vehicles is knowing what they will do once they are Beyond Visual Line of Sight, when situational awareness is difficult to obtain and even when communications are interrupted.  The software produced by D-RisQ enabled the unmanned air vehicle to always comply with the rules-of-the-air.  In an evolution from USMOOTH, we added an extra capability which ensured that the vehicle behaved as though it was piloted obeying the rules of the air.

Predicate Guard: High assurance software for autonomous systems air safety

DISCOVER MORE

A2I2: A Predicate Guard development project

The key aim was to remove people from hazardous environments such as in nuclear decommissioning and off-shore thereby the name of the project “autonomous, Aquatic, Inspection and Intervention (A2I2)”.  The vehicle has to operate with, at best, intermittent communications to the operator as it has to have no tether.  This brings significant challenges for assurance in a complex environment

DISCOVER MORE

Off Planet Vehicle: A Predicate Guard development project

An advanced project run by the University of Surrey is developing software for off-planet vehicles – truly ‘off-road’!  D-RisQ supported the research into how to assure behaviour of such valuable assets and their passengers from unwanted behaviour.

Predicate Guard: High assurance software for autonomous space safety

DISCOVER MORE

WATCH OUR WEBINAR

FIND OUT MORE ABOUT AUTONOMOUS SUBMERSIBLES
D-Risq - Square image
D-Risq - Square image
D-Risq - Square image

COMING SOON

A2I2 off-shore demonstrations

WANT TO REDUCE THE COST OF EMBEDDED SOFTWARE DEVELOPMENT? CONTACT US TODAY TO FIND OUT MORE

Get in touch

COMING SOON

A2I2X

The autonomous underwater vehicle developed under A2I2 will be further developed and demonstrated with our partners Rovco and National Oceanography Centre. Predicate Guard will be further validated in trials for wind farm mono-pile inspection and intervention.

D-Risq - Square image
D-Risq - Square image
D-Risq - Square image
D-Risq - Square image
D-Risq - logo