Risk-free Optimistic Simulation of DEVS Models

摘要

This paper presents a conceptual framework for mapping DEVS models into an event sequence representation that is suitable for describing and reasoning about parallel simulation algorithms. The utility of the framework is demonstrated by the development of a risk-free optimistic simulation algorithm for models expressed in the DEVS formalism and a proof that the algorithm correctly simulates all such models. The correctness proof developed for the algorithm begins with the notion of an abstract simulation algorithm whose definition provides criteria for the correct simulation of DEVS models. It is then shown that the risk-free optimistic algorithm produces the same input/output behavior as the abstract simulation algorithm.