Verification and Validation for Model-Based Design

As designs become larger, more complicated and more deliberate, it is necessary to describe a design at a high level (i.e. Model-Based Design), enabling the designer to run simulations faster and identify bugs early on. These demands drive an even greater need for tools and practices that enable automation and rigor in the area of verification and validation. In this paper we discussed verification and validation used for Model-Based Design. Besides, a whole tool of verification and validation from Matlab/Simulink, and a recommended procedure for model validation was also given.