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.