D-RisQ KAPTURE®

UAV Decision Making System

D-Risq - Square image
D-Risq - Square image
D-Risq - Square image

Using Kapture®, we then developed the Software Requirements Specification for the decision making system based upon the system requirements. A review was conducted to assure that the Software Requirements accurately and completely captured the System Requirements. The requirements are automatically transformed into a formal representation for use in verification.

Benefit 1

Reduces the opportunity for error

Benefit 2

Requirements are verifiable

Benefit 3

Simple compliance to standards

Benefit 4

Automatic checks for consistency

Benefit 1

Reduces the opportunity for error

Benefit 2

Requirements are verifiable

Benefit 3

Simple compliance
to standards

Benefit 4

Automatic checks for consistency

The output from Kapture was the input to the design stage where a model in Simulink was produced. The model was then automatically checked against the requirements using D-RisQ Modelworks®.

Back to Product

Need help with control system software? Contact us today to find out more

Get in touch
D-Risq - Logo