CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
artículos
Título:
A Formal Framework for Stochastic DEVS Modeling and Simulation
Autor/es:
RODRIGO CASTRO; ERNESTO KOFMAN; GABRIEL WAINER
Revista:
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL
Editorial:
SAGE PUBLICATIONS LTD
Referencias:
Lugar: San Diego - California; Año: 2010 vol. 86 p. 587 - 611
ISSN:
0037-5497
Resumen:
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that includes stochastic features. Based on the use of the Probability Spaces theory, the STochastic DEVS specification (STDEVS) provides a formal framework for modeling and simulation ofgeneral non deterministic discrete event systems. The main theoretical properties of STDEVS are shown. We illustrate the use of the formalism for performance analysis in computer systems and data networks, an application in which the inclusion of stochastic components is vital.
