Symbolic Flattening of DEVS Models
Bin Chen and Hans Vangheluwe
The 2010 Summer Computer Simulation Conference (SCSC 10)
Ottawa, Canada, July 11-14, 2010
Based on the Classic Discrete Event system Specification (DEVS)formalism, many efficient simulation languages have been proposed to meet the expressiveness and performance requirementsof various applications. We propose the Symbolic Flattening of DEVS models to enhance simulation efficiency. The Modelica language is extended to provide a standard concrete syntax for DEVS. Based on the closure under coupling of DEVS, flattening is implemented in two steps: Direct Connection and Flattening. We use the domain of digital circuits to get quantitative insight into the improvement brought by our approach. We conclude that the approach is most effective for High Interaction, Low Computation(HILC)models. The technique is modular and maybe combined with simulator-level(as opposed to our technique, which is symbolic, modeling level)techniques, or distributed simulation.
Conference Manager (V2.56.8 - Rev. 1182)