System modeling using the Parallel DEVS formalism and the Modelica language

The analysis and identification of the requirements needed to describe P-DEVS models using the Modelica language are discussed in this manuscript. A new free Modelica package, named DEVSLib, is presented. It facilitates the description of discrete-event models according to the Parallel DEVS formalism and provides components to interface with continuous-time models, which can be composed using other Modelica libraries. In addition, DEVSLib contains models implementing Quantized State System (QSS) integration methods. The model definition capabilities provided by DEVSLib are similar to the ones in the simulation environments specifically designed for supporting the DEVS formalism. The main additional advantage of DEVSLib is that it can be used together with other Modelica libraries in order to compose multi-domain and multi-formalism hybrid models. DEVSLib is included in the DESLib Modelica library, which is freely available for download at http://www.euclides.dia.uned.es.