A Formal Framework for Stochastic DEVS Modeling and Simulation

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. Keywords: Discrete Event Systems, Stochastic Systems. 1