The University of Southampton
University of Southampton Institutional Repository

Formalization and strictness of simulation event orderings

Formalization and strictness of simulation event orderings
Formalization and strictness of simulation event orderings

This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process boundaries: physical system, simulation model, and simulator implementation. Firstly, we formalize simulation event ordering using partially ordered set theory. A simulator implements a simulation event ordering, and incurs implementation overheads when enforcing event ordering at runtime. Secondly, we apply our formalism to extract and formalize the simulation event orderings of both sequential and parallel simulations. Thirdly, we propose the relation stricter and a measure called strictness for comparing and quantifying the degree of event dependency of simulation event orderings respectively.

1087-4097
89-96
IEEE
Teo, Y.M.
16d4240a-2b2c-4004-80b3-7c3b7dbd84eb
Onggo, B.S.S.
8e9a2ea5-140a-44c0-9c17-e9cf93662f80
Teo, Y.M.
16d4240a-2b2c-4004-80b3-7c3b7dbd84eb
Onggo, B.S.S.
8e9a2ea5-140a-44c0-9c17-e9cf93662f80

Teo, Y.M. and Onggo, B.S.S. (2004) Formalization and strictness of simulation event orderings. In Proceedings - 18th Workshop on Parallel and Distributed Simulation, PADS 2004. vol. 18, IEEE. pp. 89-96 . (doi:10.1109/PADS.2004.1301289).

Record type: Conference or Workshop Item (Paper)

Abstract

This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process boundaries: physical system, simulation model, and simulator implementation. Firstly, we formalize simulation event ordering using partially ordered set theory. A simulator implements a simulation event ordering, and incurs implementation overheads when enforcing event ordering at runtime. Secondly, we apply our formalism to extract and formalize the simulation event orderings of both sequential and parallel simulations. Thirdly, we propose the relation stricter and a measure called strictness for comparing and quantifying the degree of event dependency of simulation event orderings respectively.

This record has no associated files available for download.

More information

Published date: 16 August 2004
Venue - Dates: Proceedings - 18th Workshop on Parallel and Distributed Simulation, PADS 2004, , Kufstein, Austria, 2004-05-16 - 2004-05-19

Identifiers

Local EPrints ID: 433752
URI: http://eprints.soton.ac.uk/id/eprint/433752
ISSN: 1087-4097
PURE UUID: d591a6f5-25f5-40ee-b0a9-06254493dbd1
ORCID for B.S.S. Onggo: ORCID iD orcid.org/0000-0001-5899-304X

Catalogue record

Date deposited: 03 Sep 2019 16:30
Last modified: 25 Jun 2022 01:58

Export record

Altmetrics

Contributors

Author: Y.M. Teo
Author: B.S.S. Onggo ORCID iD

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×