Verification and Validation for Model-Based Design

Abstract:

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.

• Periodical: Applied Mechanics and Materials (Volume 741)
• Pages: 266-269
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.741.266
• Online since: March 2015
• Authors: Zi Wei Chen*, Zhi Min Hou
• Keywords: Model-Based Design, Optimization, Validation, Verification

References

[1] K. Popovici and M. Lalo: Circuits and Systems and TAISA Conference, NEWCAS-TAISA '09, Toulouse, France (2009).

[2] P. Szekely: Retrospective and challenges for model-based interface development (Springer Verlag, London 1996).

[3] Information on http: / www. mathworks. cn.

[4] Robert G. Sargent: Proceedings of the 2013 Winter Simulation Conference, Washington, USA (2013).

[5] B. Unhelkar: Verification and Validation for Quality of UML 2. 0 Models (John Wiley & Sons, New Jersey, USA 2005).

[6] Jane M. C. Oh, Garth J. Watney and Edward G. Benowitz: 2008 IEEE Aerospace Conference, Montana, USA (2008).

[7] Q.H. Liu, D.Y. Chen and Z.C. Wang: Journal on System Simulation, Vol. 15 (2003), No. 7, p.927, (In Chinese).