Informal DEVS conventions motivated by practical considerations (WIP)

Authors:
Rhys Goldstein;Simon Breslav;Azam Khan
Affiliations:
Autodesk Research, Toronto, ON, Canada;Autodesk Research, Toronto, ON, Canada;Autodesk Research, Toronto, ON, Canada
Venue:
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Year:
2013

Citing 6
Cited 0

Parallel DEVS: a parallel, hierarchical, modular, modeling formalism

WSC '94 Proceedings of the 26th conference on Winter simulation
Theory of Modeling and Simulation

Theory of Modeling and Simulation
A formal framework for stochastic DEVS modeling and simulation

Proceedings of the 2008 Spring simulation multiconference
Discrete-Event Modeling and Simulation: A Practitioner's Approach

Discrete-Event Modeling and Simulation: A Practitioner's Approach
SC-DEVS: an efficient SystemC extension for the DEVS model of computation

Proceedings of the Conference on Design, Automation and Test in Europe
PowerDEVS: a tool for hybrid system modeling and real-time simulation

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The formalism known as the Discrete Event System Specification (DEVS) provides a set of mathematical elements for modeling time-varying systems. When DEVS is applied in the form of an executable representation, however, some deviation from the formalism is unavoidable. By proposing a set of informal DEVS conventions, we show how certain changes to the formalism, some previously adopted, others less explored, may help simulation tools appeal to users who stand to benefit from DEVS theory but are more cognizant of practical issues. Our conventions use parameters and statistics to encapsulate the state of an atomic model and the composition of a coupled model. They also include changes both to transition functions and the ordering of simultaneous events to promote convenience, efficiency, and reproducibility.