Here we include a non-exhaustive list of tools which enable modelling and simulation based on the DEVS formalism. If you have a tool available and you want to list it here, please send an email
ADEVS is a C++ library for developing discrete event simulations based on the Parallel DEVS and DSDEVS formalisms. It includes support for standard, sequential simulation and conservative, parallel simulation on shared memory machines with POSIX threads. Developed by Jim Nutaro (University of Arizona, U.S.A.).
CD++ is a general toolkit written in C++, which allows the definition of DEVS and Cell-DEVS models. DEVS coupled models and Cell-DEVS models can be defined using a high level specification language. Different versions include Real-Time, Parallel and centralized simulators. Developed by Gabriel Wainer and his students (Carleton University, Canada; Universidad de Buenos Aires, Argentina).
DEVS / C++
DEVS-C++, based on the parallel DEVS formalism , is a modular hierarchical discrete event simulation environment implemented in the object-oriented C++ language. Developed by Hyup J. Cho and Young K. Cho (University of Arizona, U.S.A.).
DEVS / HLA
The project goal is to demonstrate how an HLA-compliant DEVS environment can significantly improve the performance of large-scale distributed modeling and simulation exercises. This project has its foundation based on the High Level Architecture and Discrete Event System Specification. The emergence of High Level Architecture (HLA) and the presence of Discrete Event System Specification theory are expected to provide the foundation for a capable distributed/parallel modeling and simulation environment. HLA is a DoD sponsored effort to establish a common technical framework facilitating the interoperability of all types of models and simulations among themselves and with C4I systems. DEVS has a theoretical foundation which makes it in principle independent of various programming languages and hardware platforms. Developed by Hessam Sarjoughian (Arizona State University, U.S.A.) and Bernard Zeigler (University of Arizona, U.S.A.).
Modeling and Simulation environment for developing DEVS-based models. The software is written in Java and supports parallel execution on a uni-processor. It supports higher-level, application specific modeling. Models in DEVSJAVA can also be readily mapped to DEVS/HLA and DEVS/CORBA for distributed execution in combined logical/real-time settings. Developed by Hessam Sarjoughian (Arizona State University, U.S.A.) and Bernard Zeigler (University of Arizona, U.S.A.).
DEVSim++ is an environment for Object-Oriented Modeling of Discrete Event Systems. Developed by Tag Gon Kim (KAIST, Korea).
GALATEA, which is offered as a family of languages to model multi-agent systems to be simulated in a DEVS, multi-agent platform. GALATEA is the product of two lines of research: simulation languages based on Zeigler’s theory of simulation and logic-based agents. There is in GALATEA a proposal to integrate, in the same simulation platform, conceptual and concrete tools for multi-agent, distributed, interactive, continuous and discrete event simulation. It is also GALATEA a direct descendant of GLIDER, a DEVS-based simulation language which incorporated tools for continuous modelling as well. In GALATEA, GLIDER is combined with a family of logic programming languages specifically designed to model agents. Developed by Mayerlin Uzcategui, Jacinto Davila and Kay Tucci (University of Los Andes, Venezuela).
GK-DEVS is an extended DEVS formalism that models and simulates 3-Dimensional Multi-component system. The formalism has been implemented using C++ language as name of V-World. However, V-World environment has been used in a Virtual Simulator Series, such as V-EleQ, V-HPS, V-Robot which are commercial packages (Developed by Moon Ho Hwang, Cubic TRC, CubicTek. Co., Ltd. Korea) .
JDEVS enables discrete-event, general purpose, object-oriented, component based, GIS connected, collaborative, visual simulation model development and execution . Developed by Jean-Baptiste Filippi (University of Corsica, France).
LSIS DME 0.1.0
DEVS simulator with graphical interface.
PF3S (PlatForm for the Specification of Simulation Systems: currently in development) aims at merging the principles of multi modelling and DEVS formalization through a platform which offers a GUI that must allow a user to design a conceptual model, to specify its DEVS semantic and to execute the model in a browser. Collaborative web-based simulations can then be performed, and one hidden idea is to promote the concept of servers of models (Université Blaise Pascal, France).
ATOM3 is a tool for multi-paradigm modeling, by Juan De Lara (Autonomous University of Madrid, UAM, Spain) and Hans Vangheluwe (Mc. Gill University, Canada). ATOM3-DEVS is a tool for constructing DEVS models and generating Python code for the PyDEVS simulator by Jean-Sebastien Bolduc, developed in ATOM3.
The goal of the SimBeans project was twofold: a) Component-based software development: Studying Java/JavaBeans technology and analyzing bean builder tools b) Modeling and Simulation: Simulation development by modular, hierarchical composition of components that adhere to a framework. We employ the system theoretic simulation modeling methodology (DEVS) as formal, mathematical foundations for modular, hierarchical modeling and simulation and a component based software architecture on the basis of Java and JavaBeans (H. Praehofer, J. Sametinger, A. Stritzinger, Linz University, Austria).
SmallDEVS is an experimental DEVS-based simulation package for Squeak Smalltalk. It allows for class-based, as well as prototype-based object-oriented model construction. Its reflective features make inspection and interactive manipulation with models and running simulations possible. Interactive modeling and simulation is supported by a GUI. Developed by Vladimir Janousek and Elod Kironsky (Brno University of Technlogy, Czech Republic).
VLE (Virtual Laboratory Environment) is a multimodelling platform based on several DEVS extensions. VLE provides a complete C++ API for DEVS based simulation and a GUI for the graphical specification of the structure of the model, the definition of experimental frames and the visualization of results. VLE is currently using the Swing technology to enable the construction of models in several languages (Java, Python, C#).