DesignDEVS: Reinforcing Theoretical Principles in a Practical and Lightweight Simulation Environment

Rhys Goldstein, Simon Breslav, Azam Khan

TMS/DEVS Best Paper, SpringSim Overall Best Paper
Symposium on Theory of Modeling and Simulation


We introduce DesignDEVS, a simulation development environment based on the Discrete Event System Specification (DEVS) formalism. DesignDEVS aims to promote understanding and appreciation of model-simulator separation, delayed binding of models, and other key principles of a systems engineering approach. To minimize installation and learning time, we embed a lightweight scripting language called Lua as the primary programming language for model implementation. Lua is extended to both enforce and communicate a number of modeling constraints implied by DEVS theory. These constraints include restrictions on state changes and data references. While not all theoretical principles are strictly enforced, we include a discussion of best practices which account for practical considerations such as modeler convenience and computational efficiency. DesignDEVS has been used for complex modeling tasks in architectural and building science research. Its unique features may aid in the teaching of DEVS.

Related Publications


Related Projects

  • Systems Design & Simulation

    While traditional programming practices have produced a wide range of relatively independent simulation methods, predictive models of extremely complex natural and artificial systems will require a more scalable, more collaborative approach to modeling. This project strives for software that will help researchers develop, debug, document, share, and integrate simulation code.

Welcome ${RESELLERNAME} Customers

Please opt-in to receive reseller support

I agree that Autodesk may share my name and email address with ${RESELLERNAME} so that ${RESELLERNAME} may provide installation support and send me marketing communications.  I understand that the Reseller will be the party responsible for how this data will be used and managed.

Email is required Entered email is invalid.