Simulink Verification and Validation 2.4

Product Description

• Introduction and Key Features
• Working with Simulink Verification and Validation
• Tracing Requirements to Designs, Tests, and Generated Code
• Assigning Verification Blocks to Test Signals
• Analyzing Model Coverage
• Enforcing Modeling Standards

Enforcing Modeling Standards

Simulink Verification and Validation helps you define and implement consistent design guidelines that can be applied across projects and development teams. The modeling standards checker finds unwanted model properties, such as incorrect or deprecated blocks and block parameters, incorrect fonts, and misplaced objects. Modeling standards checks provided with Simulink Verification and Validation are based on The MathWorks Automotive Advisory Board (MAAB) Style Guidelines.

Simulink Verification and Validation provides an application program interface (API) for building a custom set of checks that can be applied with the supplied modeling standards checks to produce a single analysis report.