Authors:
Gauthier Quesnel
1
;
Ronan Trépos
1
and
Éric Ramat
2
Affiliations:
1
INRA, France
;
2
ULCO, France
Keyword(s):
Simulation, Discrete Event Systems, DEVS Formalism, Observation, Methodology.
Related
Ontology
Subjects/Areas/Topics:
Complex Systems Modeling and Simulation
;
Computer Simulation Techniques
;
Discrete-Event Simulation
;
Environmental Modeling
;
Formal Methods
;
Laboratory Simulation Software
;
Simulation and Modeling
;
Simulation Tools and Platforms
Abstract:
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.