Discrete Event System Specification (DEVS) modelling is a rigorous formalism for discrete-event modelling and simulation (M&S) that provides a mathematically grounded approach for representing event-driven system architectures. Because DEVS explicitly separates system behavior into modular components with well-defined inputs, outputs, and transition functions, it supports scalable, hierarchical representations of complex systems. This structure enables efficient and costeffective analysis by allowing practitioners to explore system behavior under varying conditions, identify potential failure points, and evaluate responses to unexpected or safety-critical scenarios. Despite these advantages, the inherent abstraction and detailed specification required by DEVS can present a learning curve, particularly for users without extensive experience in simulation formalisms or software engineering.Graphical modelling environments help bridge this gap by offering intuitive interfaces that reduce the cognitive load associated with constructing DEVS models purely in code. In this context, the PrOMETHeUS tool (Platform for Operations, Modelling, Evaluation, and Testing of Hierarchical Units and Systems) has been developed to support the creation, visualization, and validation of sophisticated DEVS models. PrOMETHeUS employs a suite of carefully defined graphical elements informed by DEVS theory, object-oriented design principles, and usercentered interface considerations. Together, these features aim to increase modelling productivity, improve model correctness, and make DEVS more accessible to new practitioners and researchers alike.
Paper
Full text
PrOMETHeUS: A Tool For DEVS Modelling and Visualization
Semantic Scholar · 2026
Abstract
Discrete Event System Specification (DEVS) modelling is a rigorous formalism for discrete-event modelling and simulation (M&S) that provides a mathematically grounded approach for representing event-driven system architectures. Because DEVS explicitly separates system behavior into modular components with well-defined inputs, outputs, and transition functions, it supports scalable, hierarchical representations of complex systems. This structure enables efficient and costeffective analysis by allowing practitioners to explore system behavior under varying conditions, identify potential failure points, and evaluate responses to unexpected or safety-critical scenarios. Despite these advantages, the inherent abstraction and detailed specification required by DEVS can present a learning curve, particularly for users without extensive experience in simulation formalisms or software engineering.Graphical modelling environments help bridge this gap by offering intuitive interfaces that reduce the cognitive load associated with constructing DEVS models purely in code. In this context, the PrOMETHeUS tool (Platform for Operations, Modelling, Evaluation, and Testing of Hierarchical Units and Systems) has been developed to support the creation, visualization, and validation of sophisticated DEVS models. PrOMETHeUS employs a suite of carefully defined graphical elements informed by DEVS theory, object-oriented design principles, and usercentered interface considerations. Together, these features aim to increase modelling productivity, improve model correctness, and make DEVS more accessible to new practitioners and researchers alike.