xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems



Downloads per month over past year

Risco Martín, José Luis and Mittal, Saurabh and Henares, Kevin and Cardenas, Román and Arroba, Patricia (2022) xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems. Software: Practice and Experience . ISSN 0038-0644

[thumbnail of Softw Pract Exp - 2022 - Risco‐Mart n - xDEVS  A toolkit for interoperable modeling and simulation of formal discrete event.pdf]
Creative Commons Attribution.


Official URL: https://doi.org/10.1002/spe.3168


Employing Modeling and Simulation (M&S) extensively to analyze and develop complex systems is the norm today. The use of robust M&S formalisms and rigorous methodologies is essential to deal with complexity. Among them, the Discrete Event System Specification (DEVS) provides a solid framework for modeling structural, behavior and information aspects of any complex system. This gives several advantages to analyze and design complex systems: completeness, verifiability, extensibility, and maintainability. DEVS formalism has been implemented in many programming languages and executable on multiple platforms. In this paper, we describe the features of an M&S framework called xDEVS that builds upon the prevalent DEVS Application Programming Interface (API) for both modeling and simulation layers, promoting interoperability between the existing platform-specific (C++, Java, Python) DEVS implementations. Additionally, the framework can simulate the same model using sequential, parallel, or distributed architectures. The M&S engine has been reinforced with several strategies to improve performance, as well as tools to perform model analysis and verification. Finally, xDEVS also facilitates systems engineers to apply the vision of model-based systems engineering (MBSE), model-driven engineering (MDE), and model-driven systems engineering (MDSE) paradigms. We highlight the features of the proposed xDEVS framework with multiple examples and case studies illustrating the rigor and diversity of application domains it can support.

Item Type:Article
Additional Information:

CRUE-CSIC (Acuerdos Transformativos 2022)

Uncontrolled Keywords:DEVS formalism, discrete events, modeling and simulation tools, parallel simulation, simulation performance
Subjects:Sciences > Computer science > Expert systems (Computer science)
ID Code:76051
Deposited On:20 Dec 2022 15:38
Last Modified:20 Dec 2022 15:41

Origin of downloads

Repository Staff Only: item control page