Software products

AUTOMATING VERIFICATION

Learn more
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.
Product

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
Product

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
Product

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
Product

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 is does not.  

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

Discover more

coming soon!

Kapture requirements consistency checks

COMING SOON

CLawZ

The automatic verification of autocoded C

COMING NEXT YEAR

FEVER

The automatic verification of Executable Object Code

COMING SOON

CLawZ

The automatic verification of autocoded C

COMING NEXT YEAR

FEVER

The automatic verification of Executable Object Code

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

Get in touch
D-Risq - Logo