research-article

Integrating Parallel DEVS and equation-based object-oriented modeling

Authors:

Victorino Sanz,

Alfonso Urquia,

Sebastian DormidoAuthors Info & Claims

SpringSim '10: Proceedings of the 2010 Spring Simulation Multiconference

Article No.: 126, Pages 1 - 8

https://doi.org/10.1145/1878537.1878669

Published: 11 April 2010 Publication History

Abstract

The benefits of integrating the Parallel DEVS (P-DEVS) formalism with the Equation-Based Object-Oriented modeling languages (EOOL), which constitute the state-of-the-art for continuous-time system modeling, are discussed. The characteristics of the Equation-Based Object-Oriented (EOO) methodology are presented. The requirements to describe P-DEVS models using an EOOL are evaluated. These requirements are detailed for the case of the P-DEVS formalism and the Modelica language, with the introduction of the DEVS-Lib Modelica library. DEVSLib facilitates the description of P-DEVS models in Modelica, and allows the combination of DEVS models together with other Modelica libraries in order to construct multi-formalism hybrid models. DEVSLib has been developed by the authors and is freely available at http://www.euclides.dia.uned.es.

References

[1]

Chow, A. C. H., 1996. "Parallel DEVS: a Parallel, Hierarchical, Modular Modeling Formalism and its Distributed Simulator". Transactions of the Society for Computer Simulation International, 13, no. 2:55--67.

Digital Library

[2]

Zeigler, B. P., H. Praehofer, and T. G. Kim, 2000. Theory of Modeling and Simulation. Academic Press, Inc., Orlando, FL, USA.

Digital Library

[3]

Zeigler, B. P., Y. Moon, D. Kim, and J. G. Kim, 1996. "DEVS-C++: A High Performance Modelling and Simulation Environment". In Proceedings of the 29^th Annual Hawaii International Conference on System Sciences. Maui, HI, USA, 350--359.

Digital Library

[4]

Muzy, A., and J. Nutaro, 2005. "Algorithms for Efficient Implementations of the DEVS & DSDEVS Abstract Simulators". In Proceedings of the 1 ^st Open International Conference on Modeling & Simulation. ISIMA/Blaise Pascal University, France, 401--407.

[5]

Zeigler, B. P., and H. S. Sarjoughian, 2003. "Introduction to DEVS Modeling & Simulation with JAVA: Developing Component-based Simulation Models". Arizona Center for Integrative Modeling and Simulation, AZ, USA.

[6]

Liu, Q., and G. Wainer, 2007. "Parallel Environment for DEVS and Cell-DEVS Models". SIMULATION, 86, no. 6:449--471.

Digital Library

[7]

Cellier, F. E., and E. Kofman, 2006. Continuous System Simulation. Springer-Verlag New York, Inc., Secaucus, NJ, USA.

Digital Library

[8]

Kofman, E., 2004. "Discrete Event Simulation of Hybrid Systems". SIAM Journal on Scientific Computing, 25, no. 5:1771--1797.

Digital Library

[9]

Åström, K. J., H. Elmqvist, and S. E. Mattsson, 1998. "Evolution of Continuous-time Modeling and Simulation". In Procceedings of the 12^th European Simulation Multiconference, ESM'98. Manchester, UK, 9--18.

Digital Library

[10]

Jacobs, P. H., N. A. Lang, and A. Verbraeck, 2002. "D-SOL; a distributed java based discrete event simulation architecture". In Proceedings of the 2002 Winter Simulation Conference. San Diego, CA, USA, 793--800.

Digital Library

[11]

Himmelspach, J., and A. M. Uhrmacher, 2009. "The JAMES II framework for modeling and simulation". In Proceedings of the 2009 International Workshop on High Performance Computational Systems Biology. Trento, Italy, 101--102.

Digital Library

[12]

Cellier, F. E., 1996. "Object-oriented Modeling: Means for Dealing with System Complexity". In Procceedings of the 15^th Benelux Meeting on Systems and Control. Mierly, The Netherlands, 53--64.

[13]

Cellier, F. E., 1991. Continuous System Modeling. Springer-Verlag New York, Inc., Secaucus, NJ, USA.

Digital Library

[14]

Elmqvist, H., 1978. "A Structured Model Language for Large Continuous Systems". Ph.D. thesis, Department of Automatic Control, Lunk Institute of Technology, Lund, Sweden.

[15]

Cellier, F. E., 1979. "Combined Continuous/Discrete System Simulation by Use of Digital Computers: Techniques and Tools". Ph.D. thesis, ETH Zurich, Zurich, Switzerland.

[16]

Otter, M., and H. Elmqvist, 1995. "The DSblock Model Interface for Exchanging Model Components". In Proceedings of the 1995 EUROSIM Conference. Vienna, Austria, 505--510.

[17]

Modelica, 2010. "Modelica website". http://www.modelica.org.

[18]

Fritzson, P., 2003. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Computer Society Pr.

Digital Library

[19]

Beltrame, T., and F. E. Cellier, 2006. "Quantised State System Simulation in Dymola/Modelica Using the DEVS Formalism". In Proceedings of the 5^th International Modelica Conference. Vienna, Austria, 73--82.

[20]

Beltrame, T., 2006. "Design and development of a Dymola/Modelica library for discrete event-oriented systems using DEVS methodology". Master's thesis, ETH Zurich, Zurich, Switzerland.

[21]

Giambiasi, N., and J. C. Carmona, 2006. "Generalized Discrete Event Abstraction of Continuous Systems: GDEVS Formalism". Simulation Modelling Practice and Theory, 14, no. 1:47--70.

[22]

Quesnel, G., R. Duboz, and E. Ramat, 2009. "The Virtual Laboratory Environment - An Operational Framework for Multi-modelling, Simulation and Analysis of Complex Dynamical Systems". Simulation Modelling Practice and Theory, 17:641--653.

[23]

2009. "Modelica free and comercial libraries".

[24]

Elmqvist, H., S. E. Mattsson, and M. Otter, 1998. "Modelica -- The New Object-Oriented Modeling Language". In Proceedings of the 12^th European Simulation Multiconference. Manchester, UK, 127--131.

[25]

van Beek, D. A., and J. E. Rooda, 2000. "Languages and Applications in Hybrid Modelling and Simulation: Positioning of Chi". Control Engineering Practice, 8, no. 1:81--91.

[26]

Barton, P. L., and C. C. Pantelides, 1994. "Modeling of Combined Discrete/Continuous Processes". AIChE Journal, 40, no. 6:966--979.

[27]

IEEE, 1997. "Standard VHDL Analog and Mixed-Signal Extensions". Tech. rep.

[28]

Frey, P., and D. O'Riordan, 2000. "Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules". In Proceedings of the 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation. Washington, DC, USA, 103--108.

Digital Library

[29]

Mattsson, S. E., M. Otter, and H. Elmqvist, 1999. "Modelica Hybrid Modeling and Efficient Simulation". In Proceedings of the 38^th IEEE Conference on Decision and Control. Phoenix, AZ, USA, 3502--3507.

[30]

Modelica Association, 2009. "Modelica - A Unified Object-Oriented Language for Physical Systems Modeling. Language Specification (v. 3.1)". http://www.modelica.org/documents.

[31]

Otter, M., H. Elmqvist, and S. E. Mattsson, 1999. "Hybrid Modeling in Modelica Based on the Synchronous Data Flow Principle". In Proceedings of the 10^th IEEE International Symposium on Computer Aided Control System Design. Kohala Coast, HI, USA, 151--157.

[32]

Kriger, J., 2002. "A Very Simple Alarm Clock with a Pendulum in CD++". http://www.sce.carleton.ca/faculty/wainer/.

[33]

Sanz, V., F. E. Cellier, A. Urquia, and S. Dormido, 2009. "Modeling of the ARGESIM "Crane and Embedded Controller" System Using the DEVSLib Modelica Library". In Proceedings of the 3 ^rd IFAC Conference on Analysis and Design of Hybrid Systems. Zaragoza, Spain.

[34]

Sanz, V., A. Urquia, and S. Dormido, 2009. "Parallel DEVS and Process-Oriented Modeling in Modelica". In Proceedings of the 7^th International Modelica Conference. Como, Italy, 96--107.

[35]

Dynasim AB, 2006. "Dymola Dynamic Modeling Laboratory User's Manual". http://www.dymola.com/.

[36]

Sanz, V., A. Urquia, and S. Dormido, 2008. "Introducing Messages in Modelica for Facilitating Discrete-Event System Modeling". Simulation News Europe, 18, no. 2:42--53.

[37]

Olsson, H., 2005. "External Interface to Modelica in Dymola". In Proceedings of the 4^th International Modelica Conference. Hamburg, Germany, 603--611.

[38]

Saadawi, H., 2004. "An Automatic Teller Machine (ATM) in CD++". http://www.sce.carleton.ca/faculty/wainer/.

[39]

Sanz, V., S. Jafer, G. Wainer, G. Nicolescu, A. Urquia, and S. Dormido, 2009. "Hybrid Modeling of Opto-Electrical Interfaces Using DEVS and Modelica". In Proceedings of the DEVS Integrative M&S Symposium, Spring Simulation Multiconference. San Diego, CA, USA.

Digital Library

Cited By

Wei ZWang HChen YHuang SZhang ZYu ZChang Q(2015)Electromagnetic transient simulation of induction machine based on QSS algorithm2015 IEEE PES Asia-Pacific Power and Energy Engineering Conference (APPEEC)10.1109/APPEEC.2015.7380954(1-5)Online publication date: Nov-2015
https://doi.org/10.1109/APPEEC.2015.7380954
Sanz VUrquia ACellier FDormido S(2012)Modeling of hybrid control systems using the DEVSLib Modelica libraryControl Engineering Practice10.1016/j.conengprac.2010.11.01420:1(24-34)Online publication date: Jan-2012
https://doi.org/10.1016/j.conengprac.2010.11.014

Recommendations

Modelica extensions for supporting message passing communication and dynamic data structures
EOOLT '16: Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools

Discrete-event modeling methodologies, such as DEVS, Parallel DEVS or the process-oriented approach used by Arena, support the description of systems in a modular and hierarchical fashion. In these approaches, model components communicate by means of ...
Combining PDEVS and Modelica for describing agent-based models

Modelica is a general-purpose modeling language mainly designed to facilitate the development, reusability and exchange of models. It represents the state-of-the-art in equation-based modeling of continuous-time systems. Modelica libraries facilitate the ...
Realization-preserving model reduction of object-oriented models using energy-based metrics

This paper deals with the adaptation of energy-based realization-preserving model-reduction techniques for object-oriented models implemented in Modelica. An approach originally developed for bond graphs, where energy-related heuristics were used to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SpringSim '10: Proceedings of the 2010 Spring Simulation Multiconference

April 2010

1726 pages

ISBN:9781450300698

General Chairs:
Robert McGraw
RAM Laboratories, Inc
,
Eric Imsand
Auburn University
,
Program Chair:
Michael J. Chinni
US Army - RDECOM - ARDEC

Sponsors

SCS: Society for Modeling and Simulation International

In-Cooperation

SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 11 April 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SpringSim '10

Sponsor:

SCS

SpringSim '10: 2010 Spring Simulation Conference

April 11 - 15, 2010

Florida, Orlando

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
99
Total Downloads

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

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Wei ZWang HChen YHuang SZhang ZYu ZChang Q(2015)Electromagnetic transient simulation of induction machine based on QSS algorithm2015 IEEE PES Asia-Pacific Power and Energy Engineering Conference (APPEEC)10.1109/APPEEC.2015.7380954(1-5)Online publication date: Nov-2015
https://doi.org/10.1109/APPEEC.2015.7380954
Sanz VUrquia ACellier FDormido S(2012)Modeling of hybrid control systems using the DEVSLib Modelica libraryControl Engineering Practice10.1016/j.conengprac.2010.11.01420:1(24-34)Online publication date: Jan-2012
https://doi.org/10.1016/j.conengprac.2010.11.014

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.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten