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