University of Bonn

Institute of Computer Science IV

Computer Networks and Distributed Systems


A new Framework for the Analysis of Simultaneous Events

Christoph Barz, Rolf Göpffarth, Peter Martini, Andre Wenzel

Discrete-event system simulation is a common technique for studying the behavior and performance of systems. It has been in usage now for several years, despite of certain issues concerning the vulnerability of this simulation technique. These issues were identified in the past, but have not yet been analyzed to a satisfactory extent. This paper deals with one of these issues, namely the challenge of simultaneous events. Previous work focused on determining a single execution order of simultaneous events and thus resulting in a single simulation result. For this purpose a formal framework has been developed. The present paper shows that this approach is not sufficient as simultaneous events may lead to different simulation results. Based upon the previous formal approaches, we introduce a new formalism allowing to examine the effects of simultaneously scheduled events more precisely by determining a set of simulation results. Mechanisms before and during the runtime of the simulation are introduced. These prevent the calculation of unnecessary simulation results. At the same time they try to determine as many simulation results as possible.

Keywords: simultaneous events, simulation graphs, discrete-event system simulation

Proc. of SCSC'03 (Summer Computer Simulation Conference), Montreal, Canada, July 2003

Note: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Return to list of publications.

Universität Bonn / Informatik / Abteilung IV

24.10.2003 -