Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiency

Recent research advances in Discrete EVent system Specification (DEVS) as well as cellular space modeling emphasized the need for high performance modeling methodologies and environments. The growing demand for cellular space models has directed researchers to use different implementation formalisms. Many efforts were dedicated to develop cellular space models in DEVS in order to employ the advantage of discrete event systems. Unfortunately, the conventional implementations degrade the performance in large scale cellular models because of the huge volume of inter-cell messages generated during simulation. This work introduces a new multi-layer formalism for cellular DEVS models that assures high performance and ease of user specification. It starts with the parallel DEVS specification layer and derives a high performance cellular DEVS layer using the property of closure under coupling. This is done through converting the parallel DEVS into its equivalent non-modular form which involves computational and communication overhead tradeoffs. The new specification layer, in contrast to multi-component DEVS, is identical to the modular parallel DEVS in the sense of state trajectories which are updated according to the modular message passing methodology. The equivalency of the two forms is verified using simulation methods. Once the equivalency has been ensured, analysis of the models becomes a decisive factor in employing modularity in cellular DEVS models.