Simulink Design Verifier
金宝app®Design Verifier™usesformal methodsto identify hidden design errors in models without extensive simulation runs. It detects blocks in the model that result in integer overflow, dead logic, array access violations, division by zero, and requirement violations. For each error it produces a simulation test case for debugging.
Simulink Design Verifiergenerates test inputs for model coverage and custom objectives. It also lets you augment and extend existing test cases. These test cases drive your model to satisfy condition, decision, modified condition/decision (MCDC), and custom coverage objectives.
该模型Slicer tool inSimulink Design Verifierisolates problematic behavior in a model using a combination of dynamic and static analysis. It lets you highlight and trace functional dependencies of ports, signals, and blocks, and slice a large model into smaller, standalone models for analysis. You can view blocks affecting a subsystem output and trace a signal path through multiple switches and logic. The Variant Reducer tool enables you to simplify models containing multiple variants by creating sliced models based on active variant configurations.
Support for industry standards is available throughIEC Certification Kit(for IEC 61508 and ISO 26262) and做资格工具包(for DO-178).
开始
Learn the basics of Simulink Design Verifier
Systematic Model Verification
Identify and configure model components for analysis
Design Error Detection
Statically detect run-time errors and dead logic, derive design ranges
Test Case Generation
Generate systematic test cases from model, extend and combine test cases for full test suite
Requirements-Based Verification
Verify design against requirements, specify analysis input constraints
Complexity Management
Handle incompatibilities, optimize analysis for large and complex models
Results Interpretation and Use
Log and review analysis results, generate report, create test harness model
Model Simplification with Dependency Analysis
Trace dependencies of ports, signals, and blocks, slice larger models into simplified standalone models
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
QualifySimulink Design Verifierfor IEC Certification