Towards the validation of a simulation environment

While the topic of validating simulation models is rich in literature, validating the environments in which models run has been poorly researched. Despite the fact that such environments have high face validity, in most of the cases there are no formal methods developed for validating them. In this project, we first distinguish between the different forms of validity, such as data, model, and environment validity and then we propose an automated procedure for validating simulation environments, similar to what unit testing is for verification.