Simulation validation using the compatibility between simulation model and experimental frame

This work illustrates the possibilities associated with the concept of experimental frame in the domain of simulation. The experimental frame noted "EF" is used to define the environment in which a model will evolve. EF and model are extracted from specifications of the system understudy. Formal language has been utilized for designing EF & model such that model checking techniques can be employed. We have chosen "I/O automata", applying the frame to the model implies incompatibilities with parts of the model. In this contribution we detect these incompatibilities to measure it. Our method will allow a set of metrics evaluate the validity of simulations according to goals of simulation user-defined.