TY - JOUR
T1 - A new cell space DEVS specification
T2 - Reviewing the parallel DEVS formalism seeking fast cell space simulations
AU - Shiginah, Fahad A.
AU - Zeigler, Bernard P.
PY - 2011/5
Y1 - 2011/5
N2 - This paper introduces a new specification for cellular DEVS models that assures high performance. It starts with the parallel DEVS specification 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. Non-modular models guarantee the efficiency of the models in contrast to the current cellular DEVS implementation approaches. This was achieved by converting the cell space partially or fully into atomic model in order to eliminate inter-cell messages. However, the new specification needs an automated way to implement and verify models since they might become complicated ones.
AB - This paper introduces a new specification for cellular DEVS models that assures high performance. It starts with the parallel DEVS specification 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. Non-modular models guarantee the efficiency of the models in contrast to the current cellular DEVS implementation approaches. This was achieved by converting the cell space partially or fully into atomic model in order to eliminate inter-cell messages. However, the new specification needs an automated way to implement and verify models since they might become complicated ones.
KW - Cell space modeling
KW - Cellular DEVS
KW - DEVS
KW - Non-modular DEVS
UR - http://www.scopus.com/inward/record.url?scp=79952344122&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79952344122&partnerID=8YFLogxK
U2 - 10.1016/j.simpat.2011.01.006
DO - 10.1016/j.simpat.2011.01.006
M3 - Article
AN - SCOPUS:79952344122
SN - 1569-190X
VL - 19
SP - 1267
EP - 1279
JO - Simulation Modelling Practice and Theory
JF - Simulation Modelling Practice and Theory
IS - 5
ER -