More Web Proxy on the site http://driver.im/

research-article

Free access

A quantum of continuous simulated time

Authors:

Rhys Goldstein,

Azam KhanAuthors Info & Claims

TMS-DEVS '16: Proceedings of the Symposium on Theory of Modeling & Simulation

Article No.: 1, Pages 1 - 8

Published: 03 April 2016 Publication History

Abstract

In the context of discrete-event simulation, time resolution pertains to the time points at which events actually occur, whereas time precision constrains the time points at which events may possibly occur. Time precision is generally associated with the rounding of time values that takes place when a simulation is executed on a computer, yet here we study precision on a theoretical level. We find that while some models truly require a continuous representation of simulated time, a surprisingly diverse set of continuous-time models can be regarded as having an inherent level of time precision. We explore this concept by introducing the notion of an optimal time quantum, a simulation model property useful for establishing the set of durations which evenly divide all mathematically possible event times. A hierarchical method is presented for deriving the optimal time quantum from a model specification. The proposed theory complements past and ongoing research on simultaneity, time representation, and formal reasoning.

References

[1]

Barros, F. J. Event ordering in discrete flow models. In IMACS World Congress: Scientific Computation, Applied Mathematics and Simulation (2005).

[2]

Barz, C., Göpffarth, R., Martini, P., and Wenzel, A. A new framework for the analysis of simultaneous events. In Proceedings of the Summer Computer Simulation Conference (SCSC) (2003).

[3]

Chen, G., and Szymanski, B. K. DSIM: Scaling time warp to 1,033 processors. In Proceedings of the Winter Simulation Conference (WSC) (2005).

Digital Library

[4]

Chow, A. C. H., and Zeigler, B. P. Parallel DEVS: a parallel, hierarchical, modular modeling formalism. In Proceedings of the Winter Simulation Conference (WSC) (1994).

Digital Library

[5]

Fujimoto, R. M. Exploiting temporal uncertainty in parallel and distributed simulations. In Proceedings of the Parallel and Distributed Simulation Workshop (PADS) (1999).

Digital Library

[6]

Guo, S., Hu, X., and Wang, X. On time granularity and event granularity in simulation service composition (WIP). In Proceedings of the Symposium on Theory of Modeling & Simulation (TMS/DEVS) (2012).

Digital Library

[7]

Hayes, P. A catalog of time theories. Tech. Rep. UIUC-BI-AI-96-01, University of Illinois, 1996.

[8]

Hitz, M., Werthner, H., and Ören, T. I. Employing databases for large scale reuse of simulation models. In Proceedings of the Winter Simulation Conference (WSC) (1993).

Digital Library

[9]

Hollmann, D. A., Cristiá, M., and Frydman, C. A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically. Simulation Modelling Practice and Theory 49 (2014), 1--26.

[10]

Hong, K. J., and Kim, T. G. Timed I/O test sequences for discrete event model verification. In Artificial Intelligence and Simulation, T. G. Kim, Ed., vol. 3397 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2005, 275--284.

Digital Library

[11]

Hwang, M. H. Revisit of system variable trajectories (wip). In Proceedings of the Symposium on Theory of Modeling & Simulation (TMS/DEVS) (2013).

Digital Library

[12]

Hwang, M. H., and Zeigler, B. Reachability graph of finite and deterministic DEVS networks. IEEE Transactions on Automation Science and Engineering 6, 3 (2009), 468--478.

[13]

Jefferson, D. R. Virtual time. ACM Transactions on Programming Languages and Systems (TOPLAS) 7, 3 (1985), 404--425.

Digital Library

[14]

Josuttis, N. M. The C++ Standard Library: A Tutorial and Reference, second ed. Addison-Wesley, New York, NY, USA, 2012.

Digital Library

[15]

Kim, K. H., Seong, Y. R., Kim, T. G., and Park, K. H. Ordering of simultaneous events in distributed DEVS simulation. Simulation Practice and Theory 5, 3 (1997), 253--268.

[16]

Lamport, L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21, 7 (1978), 558--565.

Digital Library

[17]

Lamport, L. What good is temporal logic? Information Processing 83 (1983), 657--668.

[18]

Lee, E. A. Constructive models of discrete and continuous physical phenomena. IEEE Access 2 (2014), 797--821.

[19]

Manna, Z., and Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, NY, USA, 1992.

Digital Library

[20]

Nutaro, J. J., and Sarjoughian, H. H. A unified view of time and causality and its application to distributed simulation. In Proceedings of the Summer Computer Simulation Conference (SCSC) (2003).

[21]

Raynal, M., and Singhal, M. Logical time: Capturing causality in distributed systems. Computer 29, 2 (1996), 49--56.

Digital Library

[22]

Saadawi, H., and Wainer, G. Principles of Discrete Event System Specification model verification. Simulation: Transactions of the Society for Modeling and Simulation International 89, 1 (2013), 41--67.

Digital Library

[23]

Sarjoughian, H. S., and Sundaramoorthi, S. Superdense time trajectories for DEVS simulation models. In Proceedings of the Symposium on Theory of Modeling & Simulation (TMS/DEVS) (2015).

Digital Library

[24]

Traoré, M. K. Analyzing static and temporal properties of simulation models. In Proceedings of the Winter Simulation Conference (2006).

Digital Library

[25]

Vangheluwe, H., Sun, X., and Bodden, E. Domain-specific modelling with AToM-3. In International Conference on Software and Data Technologies (ICSOFT) (2007).

[26]

Varga, A. OMNeT++ User Manual (Version 4.6), 2014.

[27]

Vicino, D., Dalle, O., and Wainer, G. A data type for discretized time representation in devs. In Proceedings of the International Conference on Simulation Tools and Techniques (SIMUTools) (2014).

Digital Library

[28]

Wainer, G. CD++: A toolkit to develop DEVS models. Software: Practice and Experience 32, 13 (2002), 1261--1306.

Digital Library

[29]

Wieland, F. The threshold of event simultaneity. Simulation: Transactions of the Society for Modeling and Simulation International 16, 1 (1999), 23--31.

Digital Library

[30]

Zeigler, B. P., Moon, Y., Kim, D., and Ball, G. High performance modelling and simulation: Progress and challenges. Tech. rep., University of Arizona, 1996.

[31]

Zeigler, B. P., Praehofer, H., and Kim, T. G. Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems, second ed. Academic Press, San Diego, CA, USA, 2000.

Digital Library

Cited By

Goldstein RKhan ADalle OWainer G(2018)Multiscale representation of simulated timeSimulation10.1177/003754971772686894:6(519-558)Online publication date: 1-Jun-2018
https://dl.acm.org/doi/10.1177/0037549717726868
Goldstein RBreslav SKhan A(2018)Practical aspects of the DesignDEVS simulation environmentSimulation10.1177/003754971771825894:4(301-326)Online publication date: 1-Apr-2018
https://dl.acm.org/doi/10.1177/0037549717718258
Goldstein RKhan A(2017)A taxonomy of event time representationsProceedings of the Symposium on Theory of Modeling & Simulation10.5555/3108905.3108911(1-12)Online publication date: 23-Apr-2017
https://dl.acm.org/doi/10.5555/3108905.3108911

Index Terms

A quantum of continuous simulated time
1. Computing methodologies
  1. Modeling and simulation
    1. Simulation theory

Recommendations

Simultaneous events and lookahead in simulation protocols

A discrete event simulation model may contain several events that have the same timestamp, referred to as simultaneous events. In general, the results of a simulation depend on the order in which simultaneous events are executed. Simulation languages and ...
Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
SCSC '10: Proceedings of the 2010 Summer Computer Simulation Conference

The conservative Parallel DEVS protocol offers a novel approach that allows conservative simulation of DEVS-based PDES systems. The protocol is based on the classical Chandy-Misra-Bryant synchronization mechanism, and it extends the DEVS abstract ...
Discrete-event simulation of continuous-time systems: evolution and state of the art of quantized state system methods

In this work, we attempt to bring together the origins, main results, and recent advances on discrete-event simulation of continuous-time systems. Starting from the early approaches that aimed to represent continuous-time dynamics within the discrete-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

TMS-DEVS '16: Proceedings of the Symposium on Theory of Modeling & Simulation

April 2016

229 pages

ISBN:9781510823211

Conference Chairs:
Fernando Barros
University of Coimbra, Portugal
,
Herbert Prähofer
Johannes Kepler University Linz, Austria
,
Program Chairs:
Xiaolin Hu
Georgia State University
,
Joachim Denil
University of Antwerp, Belgium

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 03 April 2016

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
91
Total Downloads

Downloads (Last 12 months)61
Downloads (Last 6 weeks)7

Reflects downloads up to 25 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Goldstein RKhan ADalle OWainer G(2018)Multiscale representation of simulated timeSimulation10.1177/003754971772686894:6(519-558)Online publication date: 1-Jun-2018
https://dl.acm.org/doi/10.1177/0037549717726868
Goldstein RBreslav SKhan A(2018)Practical aspects of the DesignDEVS simulation environmentSimulation10.1177/003754971771825894:4(301-326)Online publication date: 1-Apr-2018
https://dl.acm.org/doi/10.1177/0037549717718258
Goldstein RKhan A(2017)A taxonomy of event time representationsProceedings of the Symposium on Theory of Modeling & Simulation10.5555/3108905.3108911(1-12)Online publication date: 23-Apr-2017
https://dl.acm.org/doi/10.5555/3108905.3108911

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten