d-risq - airbus Community image
CHANGING THE WAY THE WORLD DOES SOFTWARE
BRINGING INNOVATIVE PROJECTS AND PRODUCTS TO LIFE
proud to be a member of the first cohort of the Airbus UK SPACE Accelerator 2024
  • DO-178C, DO-330, DO-333, ISO26262, IEC62304, IEC50128, IEC60880, IEC/ISO62304 compliance.
  • Exploiting maths, reducing time and costs in requirements capture and design verification.
  • Automated high assurance software design with cost savings of 30% to 80%.
  • Replaces traditional test and manual review methods.
  • Ideal for critical projects within sectors: Aerospace, Autonomous, Nuclear, Medical, Offshore, Transport, Cybersecurity.
  • Safe agile and verified software tools for complex embedded systems.
  • User friendly tools and full-service backup all the way through.
LET OUR TEAM BE PART OF YOUR TEAM TO DELIVER YOUR PROJECT

Proud Sponsors of Malvern Festival OF Innovation

Visit Our Virtual Stand
The Industry Sectors we work with
How we can help you
EXPLORE OUR RANGE OF INTELLIGENT SOFTWARE SYSTEMS
Kapture®
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.


Discover more
Modelworks®
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.
Discover more
CLawZ®
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 have to 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.
 
Discover more
CLawZ
CLawZ enables the automatic independent verification of C source code generated from Simulink models.  Should the autocoder have made a mistake, it will show where in the code the issues lies and relate it to the original design in Simulink.
CLawZ: Automating source code verification
Discover more
Product Overview

DISCOVER HOW OUR CONTROL SYSTEM SOFTWARE CAN BENEFIT YOUR ORGANISATION

Get in touch
D-RISQ - Logo