Victorino Sanz

Dpto. Informática y Automática, ETSI Informática, UNED, Spain

Alfonso Urquia

Dpto. Informática y Automática, ETSI Informática, UNED, Spain

Sebastian Dormido

Dpto. Informática y Automática, ETSI Informática, UNED, Spain

Published in: Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009

Linköping Electronic Conference Proceedings 43:11, s. 96-107

Published: 2009-12-29

ISBN: 978-91-7393-513-5

ISSN: 1650-3686 (print), 1650-3740 (online)

This manuscript presents a new free Modelica library; named DESLib and composed of four packages: RandomLib; DEVSLib; SIMANLib and ARENALib. DESLib has been designed and implemented to facilitate the description of discrete-event models using the Parallel DEVS formalism (using DEVSLib); and to facilitate the process-oriented modeling of logistic systems (using SIMANLib and ARENALib). SIMANLib and ARENALib models are designed as DEVS models; and implemented using DEVSLib; to facilitate its development; comprehension and maintenance. RandomLib includes functionalities to generate random numbers and random variates; and facilitate the development of stochastic models. The communication mechanism used to transport information between models in DESLib is presented. This mechanism facilitates the combination of DEVS and process-oriented models to describe discrete-event systems at multiple levels. DESLib also includes interfaces to combine its components with other Modelica libraries; facilitating the composition of multi-formalism and multidomain hybrid models. DESLib can be downloaded from http://www.euclides.dia.uned.es.

discrete-event systems; hybrid modeling;
Parallel DEVS; process-oriented modeling; random number generation; stochastic simulation; logistic model

[1] Modelica Association. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling. Language Specification (v. 3.1). Available at http://www.modelica.org/documents; 2009.

[2] Mattsson S. E; Otter M; Elmqvist H. Modelica Hybrid Modeling and Efficient Simulation. In Proc. of the 38th IEEE Conf. on Decision and Control; pp. 3502–3507; 1999.

[3] Otter M; Elmqvist H; Mattsson S. E. Hybrid Modeling in Modelica Based on the Synchronous Data Flow Principle. In Proc. of the 10th IEEE Intl. Symposium on Computer Aided Control System Design; pp. 151–157; 1999.

[4] Ferreira J; de Oliveira J. E. Modelling Hybrid Systems Using Statecharts and Modelica. In Proc. of the 7th IEEE Intl. Conf. on Emerging Technologies and Factory Automation; pp. 1063–1069; 1999.

[5] Otter M; Årzén K.-E; Dressler I. State-Graph - a Modelica Library for Hierarchical State Machines. In Proc. of the 4th Intl. Modelica Conf.; pp. 569–578; 2005.

[6] Pulecchi T; Casella F. HyAuLib: Modelling Hybrid Automata in Modelica. In Proc. of the 6th Intl. Modelica Conf.; pp. 239–246; 2008.

[7] Mosterman P. J; Otter M; Elmqvist H. Modelling Petri Nets as Local Constraint Equations for Hybrid Systems Using Modelica. In Proc. of the Summer Computer Simulation Conf.; pp. 314–319; 1998.

[8] Fabricius S. M. O. Extensions to the Petri Net Library in Modelica. ETH Zurich; Switzerland; 2001.

[9] Remelhe M. A. P. Combining Discrete Event Models and Modelica - General Thoughts and a Special Modeling Environment. In Proc. of the 2nd Intl. Modelica Conf.; pp. 203–207; 2002.

[10] Färnqvist D; Strandemar K; Johansson K. H; Hespanha J. P. Hybrid Modeling of Communication Networks Using Modelica. In Proc. of the 2 nd Intl. Modelica Conf.; pp. 209–213; 2002.

[11] Zeigler B. P; Kim T. G; Prähofer H. Theory of Modeling and Simulation. Academic Press; 2000.

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

[13] Beltrame T; Cellier F. E. Quantised State System Simulation in Dymola/Modelica Using the DEVS Formalism. In Proc. of the 5th Intl. Modelica Conf.; pp. 73–82; 2006.

[14] Cellier F. E; Kofman E. Continuous System Simulation. Springer; 2006.

[15] Kofman E. Discrete Event Simulation of Hybrid Systems. SIAM Journal on Scientific Computing; 25(5):1771–1797; 2004. doi: 10.1137/S1064827502418379

[16] Chow A. C. H. Parallel DEVS: a Parallel; Hierarchical; Modular Modeling Formalism and its Distributed Simulator. Trans. of the Society for Computer Simulation Intl.; 13(2):55–67; 1996.

[17] Derrick E. J; Balci O; Nance R. E. A comparison of selected conceptual frameworks for simulation modeling. In Proc. of the 1989 Winter Simulation Conf.; pp. 711–718; 1989. doi: 10.1109/WSC.1989.718746

[18] Kelton W. D; Sadowski R. P; Sturrock D. T. Simulation with Arena. McGraw-Hill; 4th ed.; 2007.

[19] Pegden C. D; Sadowski R. P; Shannon R. E. Introduction to Simulation Using SIMAN. McGraw-Hill; 1995.

[20] Mikler J; Engelson V. Simulation for Operation Management: Object Oriented Approach using Modelica. In Proc. of the 3rd Intl. Modelica Conf.; pp. 207–214; 2003.

[21] Dynasim AB. Dymola Dynamic Modeling Laboratory User’s Manual. http://www.dymola.com; 2009.

[22] Law A. M. Simulation Modelling and Analysis. McGraw-Hill; 4th ed.; 2007.

[23] L’Ecuyer P. Software for Uniform Random Number Generation: Distinguishing the Good and the Bad. In Proc. of the 33rd Conf. on Winter Simulation; pp. 95–105; 2001.

[24] L’Ecuyer P; Simard R; Chen E. J; Kelton W. D. An Object-Oriented Random-Number Package With Many Long Streams and Substreams. Oper. Res.; 50(6):1073-1075; 2002. doi: 10.1287/opre.50.6.1073.358

[25] Zeigler B. P; Sarjoughian H. S. Introduction to DEVS Modeling & Simulation With JAVA: Developing Component Based Simulation Models. Available at http://www.acims.arizona.edu/PUBLICATIONS/; 2003.

[26] Wainer G. CD++: A Toolkit to Develop DEVS Models. Software: Practice and Experience; 32(13):1261–1306; 2002. doi: 10.1002/spe.482

[27] Nutaro J. ADEVS - A Discrete Event System Simulator. Arizona Center for Integrative Modeling & Simulation (ACIMS); University of Arizona; Tucson. Available at http://www.ece.arizona.edu/ ~nutaro/index.php; 1999

[28] Sanz V; Urquia A; Dormido S. Introducing Messages in Modelica for Facilitating Discrete-Event System Modeling. In Proc. Of 2nd Intl. Workshop on Equation-Based Object-Oriented Languages and Tools; pp. 83-93; 2008.

[29] Sanz V; Urquia A; Dormido S. DEVS Specification and Implementation of SIMAN Blocks Using Modelica Language. In Proc. Of the Winter Simulation Conf.; pp. 2374–2374; 2007.

[30] Sanz V; Urquia A; Dormido S. ARENALib: A Modelica library for Discrete-Event System Simulation. In Proc. Of the 5th Intl. Modelica Conf.; pp. 539–548; 2006.