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 safetyDISCOVER 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 safetyDISCOVER 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 environmentDISCOVER 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 safetyDISCOVER MORE
WATCH OUR WEBINAR