Simulink Verification and Validation
万博1manbetx®Verification and Validation™automates requirements tracing, modeling standards compliance checking, and model coverage analysis.
You can create detailedrequirements traceabilityreports, 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 generate harness models for testing model components and code, and use model coverage analysis to ensure that models have been thoroughly tested.
Simulink Verification and Validationprovides modeling standards checks for the DO-178, ISO 26262,IEC 61508and related industry standards.
开始
Learn the basics of Simulink Verification and Validation
Model Guidelines Compliance
Check that models comply with standards and modeling guidelines
Requirements Traceability
Link between model objects and associated requirements defined in external documents
Model Coverage Analysis
Measure model coverage in simulation, 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
Tool Qualification and Certification
QualifySimulink Verification and Validationfor DO and IEC Certification