Articles & News

Entries for 'D-RisQ Admin'

A report produced by the FBI's Directorate of Intelligence, predicted that "autonomy… will make mobility more efficient, but will also open up ...

[Read the rest of this article...]

Sector: Automotive

Big problem – how do the developers of Unmanned Air Vehicles (UAVs) get their devices certified to fly in regulated airspace?  

How do these UAV developers show a regulator that they will not only meet stringent air traffic and flight regulations but will also restrict undesired behaviour?  In other words, how can developers show that their products are ‘Airworthy’?


[Read the rest of this article...]

Sector: Aerospace
London, 11 June 2014: The Technology Strategy Board, the UK’s innovation agency, today announced the winners that will attend the prestigious &l...

[Read the rest of this article...]

Sector: Robotics
The High Assurance Cyber Military Systems program, or HACMS, which DARPA announced in 2012, is trying to patch the security vulnerabilities that could pervade the Internet of Things. D-RisQ has been participating in the DARPA sponsored HACMS project for 18 months.

[Read the rest of this article...]

Sector: Security
Bloomberg report in Portland Press Herald reports "Panelists cite ‘unanswered questions’ about the safety and reliability of unmanned aircraft."

[Read the rest of this article...]


Prof Colin O'Halloran, the Technical Director of D-RisQ Ltd was invited to give a Key Note speech at the Australian System Safety Conference in Melbourne.  The packed programme of presentations and events was on the theme of "Software Safety: New Challenges & Solutions".

[Read the rest of this article...]

Sector: Security
Page 11 of 11First   Previous   2  3  4  5  6  7  8  9  10  [11]  Next   Last   

D-RisQ Limited

Malvern Hills Science Park

Geraldine Road
United Kingdom
WR14 3SZ
+44(0)1684 252452

Company Number: 7754903

What we do?

With a wide experience in analysis of complex systems and software across many sectors ranging from embedded systems to IT, safety and security critical systems, automotive, aerospace, robotics and many others, D-RisQ has developed huge experience from which to build automated formal analysis tools.

Learn more