Observations of Discrete Event Models

Gauthier Quesnel, Ronan Trépos, Éric Ramat

2012

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.

References

  1. Bergero, F. and Kofman, E. (2010). PowerDEVS: a tool for hybrid system modeling and real-time simulation. SIMULATION.
  2. Bergez, J.-E., Chabrier, P., Gary, C., Jeuffroy, M., Makowski, D., Quesnel, G., Ramat, E., Raynal, H., Rousse, N., Wallach, D., Debaeke, P., Durand, P., Duru, M., Dury, J., Faverdin, P., Gascuel-Odoux, C., and Garcia, F. (2012). An open platform to build, evaluate and simulate integrated models of farming and agro-ecosystems. Environmental Modelling And Software. In press.
  3. Chow, A. and Zeigler, B. (1994). Parallel DEVS: a parallel, hierarchical, modular, modeling formalism. In Proceedings of the 26th conference on Winter simulation, pages 716-722, Orlando, Florida, United States.
  4. Goldberg, D. (1991). What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23:5-48.
  5. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Sci. Comput. Program., 8:231-274.
  6. Himmelspach, J. and Uhrmacher, A. M. (2009). The JAMES II Framework for Modeling and Simulation. In International Workshop on High Performance Computational Systems Biology, pages 101-102.
  7. Kim, Y. J. and Kim, T. G. (1996). A heterogeneous distributed simulation framework based on DEVS formalism. In Sixth Annual Conference On Artificial Intelligence, Simulation and Planning in High Autonomy Systems, pages 116-121, La Jolla, California, USA.
  8. Kofman, E. (2002). A second order approximation for devs simulation of continuous systems. Simulation (Journal of The Society for Computer Simulation International, 78(2):76-89.
  9. Quesnel, G., Duboz, R., and Ramat, E. (2009). The Virtual Laboratory Environment - An operational framework for multi-modelling, simulation and analysis of complex dynamical systems. Simulation Modelling Practice and Theory, 17:641-653.
  10. R Development Core Team (2012). R: A Language and Environment for Statistical Computing. R Foundation for Statistical Computing, Vienna, Austria. ISBN 3- 900051-07-0.
  11. Ribault, J., Dalle, O., Conan, D., and Leriche, S. (2010). OSIF: a framework to instrument, validate, and analyze simulations. In SIMUTools 7810 Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques.
  12. Vangheluwe, H. (2000). DEVS as a common denominator for hybrid systems modelling. In Varga, A., editor, IEEE International Symposium on Computer-Aided Control System Design, pages 129-134, Anchorage, Alaska. IEEE Computer Society Press.
  13. Zeigler, B. P., Kim, D., and Praehofer, H. (2000). Theory of modeling and simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press.
Download


Paper Citation


in Harvard Style

Quesnel G., Trépos R. and Ramat É. (2012). Observations of Discrete Event Models . In Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-8565-20-4, pages 32-41. DOI: 10.5220/0004054300320041


in Bibtex Style

@conference{simultech12,
author={Gauthier Quesnel and Ronan Trépos and Éric Ramat},
title={Observations of Discrete Event Models},
booktitle={Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2012},
pages={32-41},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004054300320041},
isbn={978-989-8565-20-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Observations of Discrete Event Models
SN - 978-989-8565-20-4
AU - Quesnel G.
AU - Trépos R.
AU - Ramat É.
PY - 2012
SP - 32
EP - 41
DO - 10.5220/0004054300320041