RT Journal Article
T1 xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems
A1 Risco Martín, José Luis
A1 Mittal, Saurabh
A1 Henares, Kevin
A1 Cardenas, Román
A1 Arroba, Patricia
AB 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.
PB Wiley
SN 0038-0644
YR 2022
FD 2022-11-24
LK https://hdl.handle.net/20.500.14352/72822
UL https://hdl.handle.net/20.500.14352/72822
LA eng
NO CRUE-CSIC (Acuerdos Transformativos 2022)
DS Docta Complutense
RD 30 abr 2024