ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
Parallel DEVS: a parallel, hierarchical, modular, modeling formalism
WSC '94 Proceedings of the 26th conference on Winter simulation
Transactions of the Society for Computer Simulation International
The implementation of four conceptual frameworks for simulation modeling in high-level languages
WSC '88 Proceedings of the 20th conference on Winter simulation
DEVS and HLA: complementary paradigms for modeling and simulation?
Transactions of the Society for Computer Simulation International - Ethical issues in modeling and simulation
Parallel and Distribution Simulation Systems
Parallel and Distribution Simulation Systems
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
CD++: a toolkit to develop DEVS models
Software—Practice & Experience
Implementing Parallel Cell-DEVS
ANSS '03 Proceedings of the 36th annual symposium on Simulation
SS '00 Proceedings of the 33rd Annual Simulation Symposium
Extensions: performance analysis of real-time DEVS models
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
New Parallel Simulation Techniques of DEVS and Cell-DEVS in CD++
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
IEEE Transactions on Software Engineering
DEVS-based simulation web services for net-centric T&E
Proceedings of the 2007 Summer Computer Simulation Conference
Parallel and distributed simulation of parallel DEVS models
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
SimStudio: a next generation modeling and simulation framework
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Discrete-Event Modeling and Simulation: A Practitioner's Approach
Discrete-Event Modeling and Simulation: A Practitioner's Approach
Flattened Conservative Parallel Simulator for DEVS and CELL-DEVS
CSE '09 Proceedings of the 2009 International Conference on Computational Science and Engineering - Volume 01
Automating the DEVS modeling and simulation interface to web services
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study
Proceedings of the 2010 Summer Computer Simulation Conference
Hi-index | 0.00 |
DEVS (Discrete Event System Specification) is an approach in the area of modeling and simulation that provides a means of specifying dynamic systems. A variety of DEVS tools have been implemented without a standard developmental guideline across the board, consequently revealing a lack of central frameworks for integrating heterogeneous DEVS simulators. When implementing a DEVS Simulator there are salient concepts that are intuitively defined, such as how events should be processed, what simulation architecture to use, what existing procedures (set of rules/algorithm) can be used, what should be the organizational architecture and so on. The aim of this paper is to propose a theoretical guide in building a DEVS distributed simulation as well as a formalization of underlying concepts to allow symbolic reasoning and automated code synthesis. From a review of existing implementation approaches, we propose a taxonomy of the identified concepts, including some formal definitions as they constitute the essential building blocks of performing Parallel Discrete-Event Simulation by utilizing DEVS. The contribution of this taxonomy and its impact as a unifying framework is that it provides a more systematic understanding of the process of constructing a DEVS simulator. Also, it offers an abstract way for integrating different and heterogeneous DEVS implementation strategies and thus can serve as a contribution to the on-going DEVS standardization efforts.