Explicit modelling of a parallel DEVS experimentation environment
In this paper, we explicitly model an interactive debugging and experimentation environment for the simulation of Parallel DEVS models. We take inspiration from the code debugging world, as well as from the simulation world (including different notions of time) to model our environment. We support both as fast as possible and (scaled) real time execution of the model. To achieve this, the PythonPDEVS simulator is de/re constructed: the modal part of the simulator, as well as the debugging operations, are modelled using the Statecharts formalism. These models are combined, resulting in a model of the timed, reactive behaviour of a debugger for Parallel DEVS, which is used to regenerate the code of the simulator. It is then combined with a modelling and simulation environment to visually model, simulate, and debug Parallel DEVS models.
SpringSim