D-RisQ Products

The manual generation of code is inevitably fraught with errors leading to expensive re-work.  Even if code is automatically generated unit test is required to demonstrate that the code is error free and further tests must show that it implements the software design. CLawZ® avoids the time and cost of undertaking unit test because it automatically proves that the automatically generated code correctly, completely, and accurately implements a design generated in Simulink.

D-RisQ develop automatic, high integrity, software verification tools that can reduce the cost of developing safety related software by 80% while also complying with standards such as DO-178C.  D-RisQ has used this technology to develop software that assures the behaviour of autonomous vehicles in various sectors.  In the aerospace sector we have assured compliance to SERA, in maritime to COLREGS and have also developed similar for underwater nuclear decommissioning vehicles as well as for the off-shore industry.

If you want to minimise iterations and costs, it’s essential to get things right early in the software development cycle. Modelworks® enables the automatic verification of designs in Simulink and Stateflow, enabling design engineers to explore various designs and choose the most maintainable, easy to use design. It’s an ideal software system for reducing costly design errors, optimising the efficiency of future coding jobs and providing evidence of design correctness.

D-RisQ develop automatic, high integrity, software verification tools that can reduce the cost of developing safety related software by 80% while also complying with standards such as DO-178C.  D-RisQ has used this technology to develop software that assures the behaviour of autonomous vehicles in various sectors.  In the aerospace sector we have assured compliance to SERA, in maritime to COLREGS and have also developed similar for underwater nuclear decommissioning vehicles as well as for the off-shore industry.

Kapture® is made to help you write clearer and verifiable software requirements and discover issues before they escalate into expensive problems further down the line. It’s the perfect tool for assisting developers in their designs, coders with their coding and test engineers in the development of valid test cases. For more information visit our product page.

D-RisQ develop automatic, high integrity, software verification tools that can reduce the cost of developing safety related software by 80% while also complying with standards such as DO-178C. D-RisQ has used this technology to develop software that assures the behaviour of autonomous vehicles in various sectors.  In the aerospace sector we have assured compliance to SERA, in maritime to COLREGS and have also developed similar for underwater nuclear decommissioning vehicles as well as for the off-shore industry.