symbolic flattening of devs models
Based on the Classic Discrete Event system Specification (DEVS) formalism, a variety of modelling languages have been proposed to meet the expressiveness and performance requirements of various applications. We propose the Symbolic Flattening of Classic DEVS models to enhance simulation efficiency. The Modelica language is extended to provide a standard human usable textual 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 may be combined with simulator-level (as opposed to our technique, which is symbolic, at the modelling level) techniques.
flattening devs direct connection