Design Verification

• 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

Model-Based Design incorporates simulation and testing to streamline the design and verification process. Through iterative simulation, test, and analysis, you identify errors early when they are easiest and least expensive to fix.

Design Through Iterative Test and Analysis

Using MathWorks tools, you refine your design through rapid iterations and verification cycles in an interactive test environment. Early in the development process, you can:

• Automatically generate reusable unit tests that satisfy model coverage and meet specific user-defined objectives with Simulink Design Verifier
• Expose design flaws and inconsistencies in requirements using the model coverage capabilities in Simulink Verification and Validation
• Define and execute reusable tests to help uncover and fix design flaws using Simulink Verification and Validation

Use an Executable Specification to Verify Your Design

In Model-Based Design you create a system model that serves as an executable specification for component design and verification. Previously developed system-level tests can be reused to verify detailed component designs against the executable specification in simulation. You can also apply model coverage analysis tools from Simulink Verification and Validation to pinpoint untested elements of your design.

Generate Design Documentation and Reports

Well-maintained, consistent documentation helps you hold more effective design reviews and share designs among peers. MathWorks tools automate the creation of design documentation, test-result reports, and traceability reports, and let you build customized reports.

Develop Modeling Standards and Check for Compliance

Apply formalized modeling standards and incorporate standards checks into your model verification process to reduce the number of errors introduced early in the development process. You can apply modeling standards that are as simple as verifying that all your inputs and outputs are connected to something, and as complex as compliance with industry standards, such as DO-178B, IEC 61508, and ISO 26262. Simulink Verification and Validation provides a set of standard modeling checks and lets tool developers write custom checks in the Simulink environment that can be used throughout an organization.