Simulink Verification and Validation

Introduction

Simulink Verification and Validation™ automates requirements tracing, modeling standards compliance checking, and test-harness generation.

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 of model components and code before the complete system becomes available.

Simulink Verification and Validation provides modeling standards checks for the DO-178B and IEC 61508 industry standards. Additional support is available through DO Qualification Kit and IEC Certification Kit.

Key Features

• Compliance checking for MAAB style guidelines and high-integrity system design guidelines (DO-178B and IEC 61508)
• 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

Analysis views and reports generated by Simulink Verification and Validation for requirements tracing, modeling standards compliance checking, component testing, and model coverage.