A Formal Framework for Stochastic DEVS Modeling and Simulation

RODRIGO CASTRO; ERNESTO KOFMAN; GABRIEL WAINER

Ottawa, Canada

Simposio; High Performance Computing and Simulation Symposium; 2008

We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that includes stochastic features. Based on the use of Probability Spaces, the STochastic DEVS specification (STDEVS) provides a formal framework for modeling and simulation of general non deterministic discrete event systems. The main theoretical properties of STDEVS are shown. We illustrate the use of STDEVS in a simulation example that shows the potential of the new formalism to deal with problems of performance analysis in computer systems and data networks