Skip to content. | Skip to navigation

Personal tools
Sections

Stefan Leye, Jan Himmelspach, and Adelinde M Uhrmacher (2009)

A discussion on experimental model validation

In: Proceedings of the 11th International Conference on Computer Modeling and Simulation, ed. by David Al-Dabass and Alessandra Orsoni and Adam Brentnall and Ajith Abraham and Richard Zobel, pp. 161-167, Cambridge, UK, IEEE Computer Society.

Model validation is essential in modeling and simulation. It "finalizes" the modeling process, and provides the base for reliable experiments with the model, and thus to gain trustworthy insights of the system under study. Diverse techniques have been developed addressing different needs and are used during different phases in the modeling and simulation life cycle. Experimental model validation depends on the execution of the model. Thus, the peculiarities of the simulation engine might influence the results of experiments and thus have to be taken into account. Execution also underlies some techniques of software validation which can be adopted for experimental model validation. New approaches apply model checking techniques for trace inspections, and emphasize the importance of an explicit description of requirements. All of this implies new requirements for systems intended to support experimental model validation.

Document Actions