Simulation validation using the compatibility between Simulation Model and Experimental Frame - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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.
Fichier principal
Vignette du fichier
SummerSim_DFOURES-finalverison.pdf (441.15 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00868406 , version 1 (01-10-2013)

Identifiants

  • HAL Id : hal-00868406 , version 1

Citer

Damien Foures, Vincent Albert, Alexandre Nketsa. Simulation validation using the compatibility between Simulation Model and Experimental Frame. SummerSim'13 ( 45th Summer Simulation Multi-conference 2013), Jul 2013, Toronto, Canada. pp.75. ⟨hal-00868406⟩
185 Consultations
254 Téléchargements

Partager

Gmail Facebook X LinkedIn More