Automatic Verification of Requirements

Verify your design automatically and continuously

• Verify your design requirements, such as maximum cost or time of flight, by specifying numerical constraints for each requirement
• Constraints are checked automatically against design values each time a project parameter is changed
• Your engineers or project managers are notified whenever a requirement is out of bounds

With Valispace

• Always know when a design change violates a requirement
• The earlier in the process your engineers know about a constraint violation, the better decisions you can take
• Checking your requirements continuously, instead of only during a review, can save rework and frustrations