Consulting

Simulink Verification and Validation Jumpstart Service

Simulink Verification and Validation Jumpstart Service is a three-day engagement that facilitates the rapid adoption of Simulink Verification and Validation in your organization. It is designed for engineers who need to trace requirements, enforce modeling standards, verify models by simulation, and measure model coverage. By the end of the engagement, you will be able to apply requirements tracing of models, tests, and generated code to your workflow. You will also be able to verify, ensure, and optimize your designs and tests through simulation, model coverage analysis, and modeling standards checking.

The consultants will provide sample models, code, and supporting files.

Service Topics

Tracing model requirements

• Configuring the Requirements Management Interface (RMI)
• Adding and viewing requirements links, linking to custom requirements documents, generating a system requirements report
• Adding system requirements to the model and generated code
• Optional topic: Managing model requirements with Telelogic DOORS software (participants must supply DOORS license)

Testing models

• Defining test scenarios using the Signal Builder block, and assigning verification blocks to test signals
• Verifying requirements using assertion blocks
• Tracing verification requirements
• Managing model coverage analysis, set up industry standard metrics, different workflows (GUI, batch and command line driven), and report generation

Customizing Model Advisor

• Using the standard Model Advisor functionality and the customization process
• Defining custom checks, check callbacks, and custom tasks
• Formatting and customizing Model Advisor output
• Applying Model Advisor on multiple projects and different workflows

Service Requirements

• Prerequisites: MATLAB Fundamentals (ML01) and Simulink for System and Algorithm Modeling (SL01) training courses required; Stateflow for Logic-Driven System Modeling training course (SF01) recommended
• Required equipment and software: A laptop computer, with the appropriate software installed, for each attendee
• Duration: Three days
• Location: Onsite or at a MathWorks training facility
• Maximum number of attendees: Five

Ordering Options

You can order Simulink Verification and Validation Jumpstart Service when you purchase the software or at a later date. Contact your MathWorks sales representative for details.