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 journalArticle

2 Citations (Scopus)

Abstract

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
Volume19
Issue number5
DOIs
Publication statusPublished - May 2011

Fingerprint

Specification
Specifications
Cell
Simulation
Model
High Performance
Message passing
Message Passing
Modularity
Simulation Methods
Closure
Eliminate
Trade-offs
Trajectories
Trajectory
Verify
Methodology
Communication
Form

Keywords

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

ASJC Scopus subject areas

  • Software
  • Modelling and Simulation
  • Hardware and Architecture

Cite this

A new cell space DEVS specification : Reviewing the parallel DEVS formalism seeking fast cell space simulations. / Shiginah, Fahad A.; Zeigler, Bernard P.

In: Simulation Modelling Practice and Theory, Vol. 19, No. 5, 05.2011, p. 1267-1279.

Research output: Contribution to journalArticle

@article{46ab51e67acb40e9bf25f9f003a603c7,
title = "A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations",
abstract = "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.",
keywords = "Cell space modeling, Cellular DEVS, DEVS, Non-modular DEVS",
author = "Shiginah, {Fahad A.} and Zeigler, {Bernard P.}",
year = "2011",
month = "5",
doi = "10.1016/j.simpat.2011.01.006",
language = "English",
volume = "19",
pages = "1267--1279",
journal = "Simulation Modelling Practice and Theory",
issn = "1569-190X",
publisher = "Elsevier",
number = "5",

}

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

VL - 19

SP - 1267

EP - 1279

JO - Simulation Modelling Practice and Theory

JF - Simulation Modelling Practice and Theory

SN - 1569-190X

IS - 5

ER -