Technical Articles

Verification, Validation, and Test with Model-Based Design

By Tom Erkkinen and Mirko Conrad, MathWorks


The use of Model-Based Design with automatic code generation for mass production deployment requires a comprehensive verification and validation strategy. There are several requirements for using Model-Based Design with automatic code generation. These include facilitating traceability between the model and the code, and performing automated tests to determine that the code executes properly in its final software and hardware environments.

This paper describes recent advances in verification, validation, and test technologies involving Model-Based Design with production code generation. It outlines different types of model checks, as well as software-in-the-loop (SIL), processor-in-the-loop (PIL), and hardware-in-the-loop (HIL) testing.

Copyright © 2008 by The MathWorks, Inc. Published by SAE International, with permission.

This paper was presented at SAE World Congress.

Read full paper.

Published 2008