User`s guide

1 Getting Started
1-2
Simulink Verification and Validation Product Description
Verify models and generated code
Simulink Verification and Validation automates requirements tracing, modeling
standards compliance checking, and model coverage analysis.
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 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 Validation provides modeling standards checks for the
DO-178, ISO 26262, IEC 61508 and related industry standards.
Key Features
• Compliance checking for MAAB style guidelines and high-integrity system design
guidelines (DO-178, ISO 26262, IEC-61508, and related industry standards)
• Model Advisor Configuration Editor, including custom check authoring
• Requirements Management Interface for traceability of model objects, code, and tests
to requirements documents
• Automatic test-harness generation for subsystems
• Component testing via simulation, software-in-the-loop (SIL), and processor-in-the-
loop (PIL)
• Programmable scripting interface for automating compliance checking, requirements
traceability analysis, and component testing