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.
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
Model coverage analysis and generated code coverage analysis with software-in-the-loop (SIL) and processor-in-the-loop (PIL)
Programmable scripting interface for automating compliance checking, requirements traceability analysis, and component testing