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.
| Identifer | oai:union.ndltd.org:arizona.edu/oai:arizona.openrepository.com:10150/193709 |
| Date | January 2006 |
| Creators | Bait Shiginah, Fahad Awadh |
| Contributors | Zeigler, Bernard P., Zeigler, Bernard P., Rozenblit, Jerzy W., Hariri, Salim A., Hwang, Moon-Ho |
| Publisher | The University of Arizona. |
| Source Sets | University of Arizona |
| Language | English |
| Detected Language | English |
| Type | text, Electronic Dissertation |
| 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. |
Page generated in 0.0018 seconds