Modeling & Simulation approach [Zei00] has received increasing interest for its sound mechanism enabling fine representing of the discrete event dynamic systems. A general conceptual framework of Modeling & Simulation [Kim01; Zei02; Zei03] constitutes the three basic entities: the real system fitting in certain experimental framework, model, and

Synchronization as the key to parallel and distributed computing requires a robust mechanism to handle communication among concurrent processes. In this paper we propose a flattened parallel simulator for DEVS and Cell-DEVS based on the classical nullmessage and lookahead based synchronization mechanism. We first present how flattening the architecture reduces communication overheads among participating nodes. Then we propose our blocking mechanism used to suspend the logical processes. After that we present our lookahead computation and nullmessage mechanism used to avoid causality errors as well as deadlock. Our conservative mechanism is implemented in WARPED kernel and can be used by any DEVS and Cell-DEVS parallel simulators who wish to adapt a conservative synchronization approach. 1.

Abstract not found

DEVS is a sound formal modeling and simulation (M&S) framework based on generic dynamic system concepts. Cell-DEVS is a formalism for cell-shaped models based on DEVS. This work presents a new simulation technique for execution of DEVS and Cell-DEVS models in parallel environments. These techniques are modifications to the original Time Warp mechanism offered by WARPED kernel. Time Warp functionalities are revised to include two new algorithms namely, Local Rollback Frequency Model (LRFM) and Global Rollback Frequency Model (GRFM). The resulting simulator is used as new simulation engine for CD++, an M&S toolkit that implements DEVS and Cell-DEVS theories. The results obtained allowed us to achieve considerable speedups due to the reductions that LRFM and GRFM protocols perform on number of rollbacks and anti-messages.