A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations

Fahad A. Shiginah, Bernard P. Zeigler

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)1267-1279
Number of pages13
JournalSimulation Modelling Practice and Theory
Issue number5
Publication statusPublished - May 2011


  • Cell space modeling
  • Cellular DEVS
  • DEVS
  • Non-modular DEVS

ASJC Scopus subject areas

  • Software
  • Modelling and Simulation
  • Hardware and Architecture


Dive into the research topics of 'A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations'. Together they form a unique fingerprint.

Cite this