Early Requirements Validation

• Verification, Validation, and Test Overview
• Early Requirements Validation
• Design Verification
• Embedded Software Test and Verification
• Digital and Analog Hardware Verification
• Hardware-in-the-Loop (HIL) Simulation for Embedded Systems

Uncover incorrect requirements and design flaws early by simulating system behavior to validate requirements and specifying system design properties that formalize functional behavior.

Create High-Level System Models and Run Simulations

Gain further insight into system behavior through simulation by creating a system model that includes the software model and the physical and environmental aspects of your system. Associate this system model with system requirements to analyze and validate requirements early in the development process. MathWorks products for physical modeling, such as Simscape™, let you build functional plant models that can be simulated together with your software model.

Write System-Level Tests and Link Them to Requirements

MATLAB^®, Simulink^®, and SystemTest™ let you define key simulation scenarios and document and systematically analyze behavior captured in your system model. Analysis results provide early feedback on the completeness and integrity of requirements and can be used to define expected behavior of the software model for further design refinement.

You explore the entire parameter space in simulation to help select those tests that are critical to run on real-time targets or real-world hardware. Running Monte Carlo simulations using SystemTest exercises a model over large, randomized parameter spaces. With Simulink Verification and Validation™, you can link your system model to requirements for early insight and validation. Requirements traceability helps manage change and reduce waste in the design lifecycle.

Refine Requirements and Define Design Properties

MathWorks products let you capture design properties and functional requirements in the modeling environment. You model design properties and analyze models using formal methods to improve your designs and reveal unanticipated functionality that would be difficult to uncover by simulation alone. With Simulink Design Verifier™ you generate tests for your models and prove model properties.