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.

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

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

Simplicity is prerequisite for reliability

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

Get in touch

Software products

AUTOMATING VERIFICATION

Simplicity is prerequisite for reliability

Kapture®

Modelworks®

CLAWZ®

FEVER

Simplicity is prerequisite for reliability

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