Discretizing Time or States?: A Comparative Study between DASSL and QSS (Work in Progress Paper)

In this study, a system is presented and analyzed that automatically translates a model described within the Modelica framework into the Discrete Event System Specification (DEVS) formalism. More specifically, this work interfaces the open-source implementation of Modelica, OpenModelica, and one particular software tool for DEVS modeling and simulation, the PowerDEVS environment, which implements the Quantized State Systems (QSS) integration methods introduced by Kofman. The interface enables the automatic simulation of largescale models with both DASSL (using the OpenModelica run-time environment) and QSS (using PowerDEVS) and extracts features, such as accuracy and simulation time, that allow a quantitative comparison of these integration methods. In this way, meaningful insight can be obtained on their respective advantages and disadvantages when used for simulating real-world applications. Furthermore, the implemented interface allows any user without any knowledge of DEVS and/or QSS methods to simulate their systems in PowerDEVS by supplying a Modelica model as input only.

[1]  Ernesto Kofman,et al.  Discrete Event Simulation of Hybrid Systems , 2004, SIAM J. Sci. Comput..

[2]  Peter Fritzson,et al.  Modelica - a general object-oriented language for continuous and discrete-event system modeling and simulation , 2002, Proceedings 35th Annual Simulation Symposium. SS 2002.

[3]  Adrian Pop,et al.  The OpenModelica Modeling, Simulation, and Development Environment , 2005 .

[4]  François E. Cellier,et al.  Continuous System Simulation , 2006 .

[5]  Ernesto Kofman,et al.  A Third Order Discrete Event Simulation Method for Continuous System Simulation , 2006 .

[6]  Peter Fritzson,et al.  Modelica - A Unified Object-Oriented Language for System Modelling and Simulation , 1998, ECOOP.

[7]  Ernesto Kofman,et al.  Quantization-Based Simulation of Differential Algebraic Equation Systems , 2003, Simul..

[8]  François E. Cellier,et al.  System modeling using the Parallel DEVS formalism and the Modelica language , 2011, Simul. Model. Pract. Theory.

[9]  François E. Cellier,et al.  Quantised State System Simulation in Dymola/Modelica using the DEVS Formalism , 2006 .

[10]  Ernesto Kofman,et al.  A Second-Order Approximation for DEVS Simulation of Continuous Systems , 2002, Simul..

[11]  Bernard P. Zeigler,et al.  Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment , 1998, Defense, Security, and Sensing.

[12]  Ernesto Kofman,et al.  Quantized-state systems: a DEVS Approach for continuous system simulation , 2001 .