This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

Simulink Verification and Validation

Verify models and generated code

Simulink® Verification and Validation™ automates requirements tracing, modeling standards compliance checking, and measurement of coverage for models and generated code.

You can create detailed requirements traceability reports, author your own modeling style checks, and develop check configurations to share with engineering teams. Requirements documentation can be linked to models, test cases, and generated code. You can use coverage analysis to confirm that models and generated code have been thoroughly tested.

Simulink Verification and Validation provides modeling standards checks for the DO-178, ISO 26262, IEC 61508 and related industry standards.

Getting Started

Learn the basics of Simulink Verification and Validation

Model Guidelines Compliance

Verify that models comply with standards and modeling guidelines, use model metrics, and create your own checks and metrics

Requirements Traceability

Link between model objects and associated requirements defined in external documents

Coverage Analysis

Measure model coverage and code coverage in simulation and generate test cases from coverage data

Model-Based Testing

Manage component test data, execute test suite in SIL or PIL simulation, configure Model Verification blocks

Model Componentization Refactoring

Identify modeling clones and patterns to refactor model

Verification and Validation

Use Simulink products to test models and code, check for design errors, check against standards, measure coverage, and validate the system

Tool Qualification and Certification

Qualify Simulink Verification and Validation for DO and IEC certification