21 July 2026
D-RisQ Ltd is proud to announce that their technologies developed to help companies accelerate the development of assured software have been significantly upgraded.
System Kapture v2
The D-RisQ System Kapture tool, which helps developers to write clear, concise, verifiable system requirements consistently, will now have type consistency checks, group descriptions and export to ReqIF along with a number of productivity enhancements.
Kapture® v3.3
Transforming these to software requirements has now become significantly easier with a new function in the D-RisQ Kapture® software requirements tool which can soundly import artefacts from System Kapture and transform them robustly into a form useful in future development and automatic verification.
Modelworks® v3.3
Verifying that a design accurately and completely implements the software requirements expressed in Kapture® has now become much more efficient with expanded automated capabilities in D-RisQ Modelworks®.
CLawZ® v1.2
While an autocoder may be able to produce code very quickly, verifying that it has accurately and completely implemented the design is more problematic which is where the automatic verification with expanded scope D-RisQ CLawZ can assist.
Our clients across the aerospace, space, autonomous systems and defence can benefit from even further savings in time, cost and certainty. The tools not only streamline development and verification processes; they rapidly produce the evidence required to meet software system certification requirements under DO-178C.
Nick Tudor, CEO and co-founder of D-RisQ said:
“The relationship with all of our clients has been excellent. We have helped them to undertake initial specification and design work for their programmes and subsequently provided them with our high productivity tools to continue to explore and develop their technologies. These exciting new capabilities in our tools will significantly enhance their ability to produce safety software much more efficiently and certainty.
D-RisQ’s verification tools offers an end-to-end solution for verifying embedded software — from early-stage requirements through to executable code — all underpinned by formal methods, also known as ‘automated reasoning’. This means software intended for critical systems like autonomous decision-making, and real-time control can be developed with mathematically proven reliability and compliance to safety standards in various sectors.
D-RisQ develops automated tools that bring the power of formal methods into everyday software engineering for embedded systems. Serving industries where safety and compliance are critical, D-RisQ’s technology helps clients reduce risk, speed up development, and meet the most stringent regulatory standards with confidence. The company is headquartered in the UK and works across Autonomous vehicles, Automotive, Aerospace, MedTech, Robotics, and Defence.
Media Enquiries
Email: info@drisq.com | Phone: +44 (0)1684 252452 | Website: www.drisq.com
