Article

A simulation algorithm for dynamic structure DEVS modeling

Authors:

Hui Shang,

Gabriel WainerAuthors Info & Claims

WSC '06: Proceedings of the 38th conference on Winter simulation

Pages 815 - 822

Published: 03 December 2006 Publication History

Get Access

Abstract

Real-Time System (RTS) correctness and timeliness are critical. Modeling and Simulation techniques have been widely used for testing particular conditions on these systems. Recently, the DEVS formalism has been successfully used as a framework for RTS validation. Nevertheless, we need to address dynamic adaptation to dynamic changes in the environment. Dynamic Structure DEVS focuses on the possibility to change system structure dynamically according to the system real requirements, which is useful for RTS (in which sometimes it is impossible to interfere with the running of the system, and auto-adaptation is needed). We present a new algorithm derived from the DSDE and the dynDEVS formalisms. We use the DSDE formal specifications, and parts of the dynDEVS simulation algorithms.

References

[1]

Barros, F. J. 1995. Dynamic Structure Discrete Event System Specifications: A New Formalism for Dynamic Structure Modeling and Simulation. Proceedings of the 1995 Winter Simulation Conference. pp.781--785. Arlington, USA.

Digital Library

Google Scholar

[2]

Barros, F. J. 1998. Abstract Simulators for the DSDE Formalism. Proceedings of the 1998 Winter Simulation Conference. pp.407--412. Washington DC, USA.

Digital Library

Google Scholar

[3]

Barros, F. J. 1997. Modelling Formalisms for Dynamic Structure Systems. ACM Transactions on Modeling and Computer Simulation. Vol. 7, No. 4, pp. 501--515.

Digital Library

Google Scholar

[4]

Cho, S., and T. G. Kim. 2001. Real Time Simulation Framework for RT-DEVS Models. Transactions of the Society for Computer Simulation International. Vol. 18, No. 4, pp. 203--215.

Digital Library

Google Scholar

[5]

Cho, Y. K., B. P. Zeigler, H. J. Cho, H. S. Sarjoughian, and S. Sen. 2000. Design Considerations for Distributed Real-Time DEVS. AIS 2000. Tucson, USA.

Google Scholar

[6]

Chow, A. C., and B. P. Zeigler. 1994. Revised DEVS: A Parallel, Hierarchical, Modular Modeling Formalism. Proceedings of the SCS Winter Simulation Conference.

Digital Library

Google Scholar

[7]

Glinsky, E., and G. Wainer. 2004a. Modeling and Simulation of Systems with Hardware-in-the-loop. Proceedings of the 2004 Winter Simulation Conference. Washington DC, USA.

Digital Library

Google Scholar

[8]

Glinsky, E., and G. Wainer. 2004b. Model-Based Development of Embedded Systems with RT-CD++. Proceedings of the WIP session, IEEE Real-Time and Embedded Technology and Applications Symposium. Toronto, Canada.

Google Scholar

[9]

Hong, J., H. Song, T. G. Kim, and K. H. Park. 1997. A Real-time Discrete Event System Specification Formalism for Seamless Real-time Software Development. Discrete Event Dynamic systems: Theory and Applications, Vol. 7, No. 4, pp. 355--375.

Digital Library

Google Scholar

[10]

Kim, T. G., S. M. Cho, and W. B. Lee. 2001. DEVS Framework for Systems Development. Discrete Event Modeling & Simulation: Enabling Future Technologies. Springer-Verlag.

Google Scholar

[11]

Uhrmacher, A. M. 2001. Dynamic Structure in Modeling and Simulation: A Reflective Approach. ACM Transactions on Modeling and Computer Simulation. Vol. 11, No. 2, pp. 206--232.

Digital Library

Google Scholar

[12]

Uhrmacher, A. M., and J. Himmeelspach. 2004. Processing dynamic PDEVS models. Proceedings of the IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'04). Volenlam, Netherlands.

Digital Library

Google Scholar

[13]

Wainer, G., E. Glinsky, and P. Macsween. 2005. Model-Driven Architecture of Real-Time Systems. Modeldriven Software Development - Volume II of Research and Practice in Software Engineering. S. Beydeda and V. Gruhn eds., Springer-Verlag.

Google Scholar

[14]

Zeigler, B. P., T. Kim, and H. Praehofer. 2000. Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press.

Digital Library

Google Scholar

Cited By

View all

Blas MGonnet SLeone H(2017)Routing structure over discrete event system specificationProceedings of the 2017 Winter Simulation Conference10.5555/3242181.3242240(1-12)Online publication date: 3-Dec-2017
https://dl.acm.org/doi/10.5555/3242181.3242240
Santucci Jde Gentili EWainer GShaffer CMcGraw RChinni M(2009)Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamicsProceedings of the 2009 Spring Simulation Multiconference10.5555/1639809.1655374(1-8)Online publication date: 22-Mar-2009
https://dl.acm.org/doi/10.5555/1639809.1655374
Kgwadi MShang HWainer GRajaei H(2008)Definition of dynamic DEVS modelsProceedings of the 2008 Spring simulation multiconference10.5555/1400549.1400698(1-4)Online publication date: 14-Apr-2008
https://dl.acm.org/doi/10.5555/1400549.1400698

Recommendations

Dynamic Structure DEVS: Improving the Real-Time Embedded Systems Simulation and Design
ANSS-41 '08: Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)

We present an improved simulation engine that combines Dynamic Structure DEVS with a real time simulation engine (eCD++). The improved simulation engine is implemented includes an advanced dynamic structure real-time experimental environment to adjust ...
Introduction to parallel DEVS modelling and simulation
Mod4Sim '18: Proceedings of the Model-driven Approaches for Simulation Engineering Symposium

DEVS is a popular formalism for modelling complex dynamic systems using a discrete-event abstraction. Main advantages of DEVS are its rigorous formal definition, and its support for modularity: models can be hierarchically nested. Thanks to these ...
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 ...

Comments

Information & Contributors

Information

Published In

WSC '06: Proceedings of the 38th conference on Winter simulation

December 2006

2429 pages

ISBN:1424405017

Editors:
L. Felipe Perrone
Bucknell University
,
Barry G. Lawson
University of Richmond
,
Jason Liu
Colorado School of Mines
,
Frederick P. Wieland
Sensis Corporation
,
General Chair:
David Nicol
University of Illinois, Urbana-Champaign
,
Program Chair:
Richard Fujimoto
College of Computing, Georgia Tech

Publisher

Winter Simulation Conference

Publication History

Published: 03 December 2006

Check for updates

Qualifiers

Article

Conference

WSC06

Sponsor:

IIE
ASA
IEICE ESS
IEEE-CS\DATC
SIGSIM
NIST
(SCS)
INFORMS-CS

WSC06: Winter Simulation Conference 2006

December 3 - 6, 2006

California, Monterey

Acceptance Rates

WSC '06 Paper Acceptance Rate 177 of 252 submissions, 70%;

Overall Acceptance Rate 3,413 of 5,075 submissions, 67%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
207
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Blas MGonnet SLeone H(2017)Routing structure over discrete event system specificationProceedings of the 2017 Winter Simulation Conference10.5555/3242181.3242240(1-12)Online publication date: 3-Dec-2017
https://dl.acm.org/doi/10.5555/3242181.3242240
Santucci Jde Gentili EWainer GShaffer CMcGraw RChinni M(2009)Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamicsProceedings of the 2009 Spring Simulation Multiconference10.5555/1639809.1655374(1-8)Online publication date: 22-Mar-2009
https://dl.acm.org/doi/10.5555/1639809.1655374
Kgwadi MShang HWainer GRajaei H(2008)Definition of dynamic DEVS modelsProceedings of the 2008 Spring simulation multiconference10.5555/1400549.1400698(1-4)Online publication date: 14-Apr-2008
https://dl.acm.org/doi/10.5555/1400549.1400698

View Options

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

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Recommendations

Dynamic Structure DEVS: Improving the Real-Time Embedded Systems Simulation and Design

Introduction to parallel DEVS modelling and simulation

Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations