Software products

AUTOMATING VERIFICATION

D-Risq - icon

Simplicity is prerequisite for reliability

The principle adopted in the development of the D-RisQ tools is that no specialist skills would be required in order to use the D-RisQ tools. The aim is to achieve verification at the press of a button and hence be accessible to all software engineers.  
Enabling the adoption of good engineering practice to avoid error introduction, use of requirements, design and coding standards and ensuring compliance to internationally recognised software standards underpins every aspect of D-RisQ tools.
D-RISQ - KAPTURE IMAGE

Kapture®

Kapture® enables a user to write software requirements in a clear concise verifiable manner. It enables the early discovery of requirements issues before the expense of design, code and verification.

Kapture®: Getting the right requirements early in the software life cycle.

Discover more

Modelworks®

Modelworks® enables the automatic verification of designs in Simulink and Stateflow. Modelworks® shows that the design encapsulates the verifiable requirements written in Kapture® or shows where it does not.  

Modelworks®: Getting the design right early in the software life cycle.

Discover more
D-risq - Modelworks image
D-risq - Clawz image

CLAWZ®

Want to avoid expensive unit test by automatically proving that the auto-generated source code implements the design?

Discover more
COMING SOON

FEVER

The automatic verification of Executable Object Code

D-risq - Fever image
D-Risq - icon

Simplicity is prerequisite for reliability

The principle adopted in the development of the D-RisQ tools is that no specialist skills would be required in order to use the D-RisQ tools. The aim is to achieve verification at the press of a button and hence be accessible to all software engineers.  
Enabling the adoption of good engineering practice to avoid error introduction, use of requirements, design and coding standards and ensuring compliance to internationally recognised software standards underpins every aspect of D-RisQ tools.

WANT TO REDUCE THE COST OF EMBEDDED SOFTWARE DEVELOPMENT? Contact us today to find out more

Get in touch
D-Risq - Logo