Products and Services

What we do

D-RisQ is a company based in the Malvern Hills in the West of England. The team all has a background in mathematics, engineering and computer science.

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.

We understand how evidence needs to be provided from development to support system release, including certification.

Our team has supported the development of international system safety and software standards and has used these standards on many projects on behalf of industry and governments. The whole focus of our efforts has been to reduce the time and cost, and hence project risk.

D-RisQ builds upon the use of commercially available and widely used development tools. The provision of formal proof to back the use of model based design is a key enabler to changing the way the world does software.

There is no need for training in formal techniques in order to be able to use these tools, its simply an adaptation of normal model based design practice. The use of the model based design tools is focussed on ensuring that the end product is verifiable.

This means that there is no wasted effort in development of a product which ultimately cannot be certified. This supports a ‘right first time’ approach to systems and software development, recognising that with development comes greater understanding requiring iteration. Such necessary iteration can be rapidly undertaken and released to system test and product release.


 

Why D-RisQ?

The name of our company came from a colleague who was undertaking some consulting work and personal coaching alongside the D-RisQ founders.

The name states “what it does on the tin” – it is all about de-risking – and gets to the heart of the value offered by the business.  The focus is on the Integrity of Digital Systems and is about Reducing cost of software.  The final ‘Q’ supports Professor Deming’s 3rd Key Principle “Cease dependence on inspection to achieve quality".

Eliminate the need for inspection on a mass basis by building Quality into the product in the first place.

D-RisQ Limited

Malvern Hills Science Park

Geraldine Road
Malvern
Worcestershire
United Kingdom
WR14 3SZ
+44(0)1684 252452
info@drisq.com

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