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

Persistent Link:
http://hdl.handle.net/10150/193709
Title:
Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiency
Author:
Bait Shiginah, Fahad Awadh
Issue Date:
2006
Publisher:
The University of Arizona.
Rights:
Copyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.
Abstract:
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. Non-modular models show significant speedup in simulation runs given that their event list handler is implemented based on analytical and experimental survey that involve actual operation counts. However, the new high performance non-modular specification layer is complicated to implement. Therefore, a third layer of specification is proposed to provide a simple user specification that is automatically converted into the fast complex cellular DEVS specification, which is finally put in the standard parallel DEVS specification. A tool was implemented to automatically accept user's model specification via GUI and generate the models using the new specifications. The generated models are then required to be tested and verified using some automatic DEVS verification methods. As a result, the model development and verification processes are made easier and faster.
Type:
text; Electronic Dissertation
Keywords:
DEVS; Cellular Space; Modeling; Simulation
Degree Name:
PhD
Degree Level:
doctoral
Degree Program:
Electrical & Computer Engineering; Graduate College
Degree Grantor:
University of Arizona
Advisor:
Zeigler, Bernard P.
Committee Chair:
Zeigler, Bernard P.

Full metadata record

DC FieldValue Language
dc.language.isoENen_US
dc.titleMulti-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiencyen_US
dc.creatorBait Shiginah, Fahad Awadhen_US
dc.contributor.authorBait Shiginah, Fahad Awadhen_US
dc.date.issued2006en_US
dc.publisherThe University of Arizona.en_US
dc.rightsCopyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.en_US
dc.description.abstractRecent 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. Non-modular models show significant speedup in simulation runs given that their event list handler is implemented based on analytical and experimental survey that involve actual operation counts. However, the new high performance non-modular specification layer is complicated to implement. Therefore, a third layer of specification is proposed to provide a simple user specification that is automatically converted into the fast complex cellular DEVS specification, which is finally put in the standard parallel DEVS specification. A tool was implemented to automatically accept user's model specification via GUI and generate the models using the new specifications. The generated models are then required to be tested and verified using some automatic DEVS verification methods. As a result, the model development and verification processes are made easier and faster.en_US
dc.typetexten_US
dc.typeElectronic Dissertationen_US
dc.subjectDEVSen_US
dc.subjectCellular Spaceen_US
dc.subjectModelingen_US
dc.subjectSimulationen_US
thesis.degree.namePhDen_US
thesis.degree.leveldoctoralen_US
thesis.degree.disciplineElectrical & Computer Engineeringen_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.grantorUniversity of Arizonaen_US
dc.contributor.advisorZeigler, Bernard P.en_US
dc.contributor.chairZeigler, Bernard P.en_US
dc.contributor.committeememberRozenblit, Jerzy W.en_US
dc.contributor.committeememberHariri, Salim A.en_US
dc.contributor.committeememberHwang, Moon-Hoen_US
dc.identifier.proquest1918en_US
dc.identifier.oclc659746483en_US
All Items in UA Campus Repository are protected by copyright, with all rights reserved, unless otherwise indicated.