Symbolic flattening of DEVS models

Authors:
Bin Chen;Hans Vangheluwe
Affiliations:
National University of Defense Technology, Changsha, China and McGill University, Montréal, Canada;University of Antwerp, Antwerp, Belgium and McGill University, Montréal, Canada
Venue:
Proceedings of the 2010 Summer Computer Simulation Conference
Year:
2010

Citing 8
Cited 0

Multifacetted modelling and discrete event simulation

Multifacetted modelling and discrete event simulation
Distributed simulation of hierarchical DEVS models: hierarchical scheduling locally and time warp globally

Transactions of the Society for Computer Simulation International
Modeling formalisms for dynamic structure systems

ACM Transactions on Modeling and Computer Simulation (TOMACS)
Theory of Modeling and Simulation

Theory of Modeling and Simulation
Modelica-A General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation

SS '02 Proceedings of the 35th Annual Simulation Symposium
Applying Cell-DEVS Methodology for Modeling the Environment

Simulation
Dynamic Structure DEVS: Improving the Real-Time Embedded Systems Simulation and Design

ANSS-41 '08 Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)
Parallel and distributed simulation of parallel DEVS models

SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.