Nothing Special   »   [go: up one dir, main page]

skip to main content
10.5555/2512734.2512747acmotherconferencesArticle/Chapter ViewAbstractPublication PagessimutoolsConference Proceedingsconference-collections
research-article

A model reduction approach for improving discrete event simulation performance

Published: 05 March 2013 Publication History

Abstract

Discrete event simulation (DES) performance is a crucial factor when applying large scale simulation models. It limits the ability to produce high quality simulation results within given time bounds, and thus limits the ability for iterative model evaluation. In a holistic hierarchical modeling approach, models are built from basic building blocks, which define the model granularity. Hence, the resulting model granularity is not optimal with respect to the execution semantic, and thus has a limiting impact on simulation performance (granularity gap). The Purpose of this article is to propose an automated model reduction approach to close the granularity gap. The key idea is to merge basic model entities in order to lower model granularity and improve simulation performance. The article discusses requirements and limitations of model reduction in DES and presents the architecture of a research prototype.

References

[1]
T. Baumann, "Simulation driven design of distributed systems." in SAE 2011 World Congress & Exhibition, Detroit, Michigan, 12.-14. April 2011.
[2]
B. Pfitzinger, T. Baumann, and T. Jestädt, "Analysis and evaluation of the german toll system using a holistic executable specification," in Hawaii International Conference on System Sciences, 45: (HICSS). Grand Wailea, Maui, Hawaii, Piscataway: IEEE, January 4 - 7 2012, p. 5632--5638.
[3]
S. Oh and J. Ahn, "Dynamic calendar queue," in Simulation Symposium, 1999. Proceedings. 32nd Annual, 1999, pp. 20--25.
[4]
K. L. Tan and L.-J. Thng, "Snoopy calendar queue," in Simulation Conference Proceedings, 2000. Winter, vol. 1, 2000, pp. 487--495.
[5]
G. Yan and S. Eidenbenz, "Sluggish calendar queues for network simulation," in Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2006. MASCOTS 2006. 14th IEEE International Symposium on, 2006, pp. 127--136.
[6]
S. Leye, A. M. Uhrmacher, and C. Priami, "A bounded-optimistic, parallel beta-binders simulator," in DS-RT '08: Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications. Washington, DC, USA: IEEE Computer Society, 2008, pp. 139--148.
[7]
R. M. Fujimoto, "Parallel and distributed simulation systems," in Simulation Conference, 2001. Proceedings of the Winter, vol. 1, 2001, pp. 147--157.
[8]
D. Pawlaszczyk and S. Strassburger, "Scalability in distributed simulations of agent-based models," in Winter Simulation Conference (WSC), Proceedings of the 2009, 2009, pp. 1189--1200.
[9]
R. Bagrodia, R. Meyer, M. Takai, Y.-A. Chen, X. Zeng, J. Martin, and H. Y. Song, "Parsec: a parallel simulation environment for complex systems," Computer, vol. 31, no. 10, pp. 77--85, oct. 1998.
[10]
Y. Zhou and E. A. Lee, "Causality interfaces for actor networks," ACM Trans. Embedded Comput. Syst., vol. 7, no. 3, 2008.
[11]
U. B. Ighoroje and M. K. Traoré, "A federated tooling framework for formal analysis of simulation models," in Summer Computer Simulation Conference 2012 (SCSC 2012) Simulation Series, vol. 44, no. 10, 2012, pp. 64--71.
[12]
H. D. Patel and S. K. Shukla, "Formal methods and models for system design," R. Gupta, P. Le Guernic, S. K. Shukla, and J.-P. Talpin, Eds. Norwell, MA, USA: Kluwer Academic Publishers, 2004, ch. Truly heterogeneous modeling with systemC, pp. 83--101.
[13]
H. D. Patel and S. Shukla, "Towards a heterogeneous simulation kernel for system-level models: A systemc kernel for synchronous data flow models," vol. 24, no. 8, pp. 1261--1271, 2005.
[14]
S. Stuijk, M. Geilen, B. D. Theelen, and T. Basten, "Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications." in ICSAMOS, L. Carro and A. D. Pimentel, Eds. IEEE, 2011, pp. 404--411.
[15]
V. D'Silva, D. Kroening, and G. Weissenbacher, "A Survey of Automated Techniques for Formal Software Verification," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 27, no. 7, pp. 1165--1178, Jul. 2008.
[16]
A. Donaldson, A. Kaiser, D. Kroening, and T. Wahl, "Symmetry-aware predicate abstraction for shared-variable concurrent programs," in Proceedings of CAV, ser. LNCS, vol. 6806. Springer, 2011, pp. 356--371.
[17]
T. Ball, E. Bounimova, V. Levin, R. Kumar, and J. Lichtenberg, "The static driver verifier research platform," in Computer Aided Verification, ser. Lecture Notes in Computer Science, T. Touili, B. Cook, and P. Jackson, Eds., vol. 6174. Springer, 2010, pp. 119--122.
[18]
M. Mousavi, M. Sirjani, and F. Arbab, "Specification, Simulation, and Verification of Component Connectors in Reo," Eindhoven University of Technology, Tech. Rep., 2004.
[19]
R. Heckel, "Graph Transformation in a Nutshell," Electronic Notes in Theoretical Computer Science, vol. 148, no. 1, pp. 187--198, Feb. 2006.
[20]
MSArchitect 1.1.2 Teaser, Andato GmbH & Co.KG, 2012. http://andato.com/index.php/en/business-areas/msarchitect

Index Terms

  1. A model reduction approach for improving discrete event simulation performance

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    SimuTools '13: Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques
    March 2013
    363 pages
    ISBN:9781450324649

    Sponsors

    • EAI: The European Alliance for Innovation
    • Create-Net
    • ICST

    In-Cooperation

    Publisher

    ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

    Brussels, Belgium

    Publication History

    Published: 05 March 2013

    Check for updates

    Author Tags

    1. DES
    2. model reduction
    3. optimized synthesis
    4. performance

    Qualifiers

    • Research-article

    Conference

    SimuTools '13
    Sponsor:
    • EAI

    Acceptance Rates

    SimuTools '13 Paper Acceptance Rate 20 of 73 submissions, 27%;
    Overall Acceptance Rate 20 of 73 submissions, 27%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 89
      Total Downloads
    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 22 Nov 2024

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media