Observation of discret event models
2012
Quesnel, Gauthier | Trépos, Ronan | Ramat, Éric
The observation of a simulation is an important task of the modeling and simulation activity. However, this task is rarely explained in the underlying formalism or simulator. Observation consists to capture the state of the model during the simulation. Observation helps understand the behavior of the studied model and allows improving, analyzing or debugging it. In this paper, we focus on appending an observation mechanism in the Parallel Discrete Event System Specification (PDEVS) formalism with guarantee of the reproducible simulation with or without observation mechanism. This extension to PDEVS allows us to observe models at the end of the simulation or according to a time step. Thus, we define a formal specification of this extension and its abstract simulators algorithms. Finally, we present an implementation in the DEVS framework VLE.
اظهر المزيد [+] اقل [-]