Simulation validation using the compatibility between Simulation Model and Experimental Frame
Résumé
This work illustrates the possibilities associated with the con- cept of experimental frame in the domain of simulation. The experimental frame noted "EF" is used to define the environ- ment in which a model will evolve. EF and model are ex- tracted 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 im- plies incompatibilities with parts of the model. In this con- tribution 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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...