Requirements validation

Requirement validation services

Requirement validation means to check whether:

• all of the requirements are implemented in the model,
• that the requirements themselves are correct,
• that each requirement is covered by a functional test,
• and that the requirements set is complete; not missing any.

Cuedo Controls perform requirement validation using model-based requirement traceability tools, such as Simulink Requirements. We import your requirement set into the model from tools like Polarion, DOORS or Jama (either as ReqIF, or in any other format) and create links between the model structure, registered tests and the requirement structure.

This allows us to generate traceability reports that capture information such as:

• Requirement gaps: blocks in the model without requirements; indicate missing requirements.
• Functionality gaps: requirements without corresponding blocks; indicate missing functions.
• Testing gaps: requirements without corresponding tests; indicate untested functions.

Cuedo Controls specialise in requirements verification and validation (V&V).

We help teams who are:

• authoring, tracing, and analysing requirements using Simulink Requirements.
• validating requirements using MIL, SIL or HIL testing.
• improving or updating their requirement sets, perhaps prior to auditing or certification.

Requirement validation and maintenance are essential parts of V-model and CMMI development workflows. They make long-term software development more feasible, sustainable, and controlled. However, managing requirements can place a heavy burden on your team. Cuedo Controls’ experts can help.