JOURNAL ARTICLE
From DEVS to RTA-DEVS
Abstract
Rational Time-Advance DEVS (RTA-DEVS) is an extension to DEVS that enables formal verification of simulation models using standard model-checking algorithms and tools. In order to enable formal verification of DEVS models, we introduce a procedure to approximate DEVS with RTA-DEVS. We include conditions for valid approximation and a calculation method for approximation errors that may be introduced. The resulting RTA-DEVS models are behaviorally equivalent to the original DEVS.
Keywords:
DEVS Computer science Extension (predicate logic) Theoretical computer science Distributed computing Modeling and simulation Programming language Simulation
Metrics
7
Cited By
1.39
FWCI (Field Weighted Citation Impact)
14
Refs
0.81
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Simulation Techniques and Applications
Social Sciences → Decision Sciences → Management Science and Operations Research
Software Reliability and Analysis Research
Physical Sciences → Computer Science → Software
Related Documents
JOURNAL ARTICLE
Interoperability between DEVS and non-DEVS models using DEVS/SOA
José L. Risco‐MartínAlejandro García MorenoJesús Manuel de la Cruz GarcíaJoaquín Aranda Almansa
Journal: Spring Simulation Multiconference Year: 2009
JOURNAL ARTICLE
DEvS
Nadiya ShvaiArcadi LlanzaAbul HasnatAmir Nakib
Journal: Proceedings of the Genetic and Evolutionary Computation Conference Companion Year: 2022 Pages: 292-295
JOURNAL ARTICLE
DEVS namespace for interoperable DEVS/SOA
Chungman SeoBernard P. Zeigler
Journal: Proceedings of the 2009 Winter Simulation Conference (WSC) Year: 2009 Vol: 26 Pages: 1311-1322