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.
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.
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.
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.
