Rational Time-Advance DEVS (RTA-DEVS)

Hesham Saadawi and Gabriel Wainer

Symposium on Theory of Modeling and Simulation (DEVS'10) (DEVS 2010)
Orlando, ON, April 11-15 2010

---

Summary

This paper introduces a new formalism based on the known DEVS formalism. The new formalism introduced in this paper is called Rational Time-Advance DEVS. This formalism can model the behaviour of systems modeled by classical DEVS, however this formalism could be checked formally with standard model checking algorithms and tools. This is done with the help of a procedure introduced in this paper to create a Timed Automata model that is behaviourally equivalent to the original RTA-DEVS model. This therefore, enables the use of the available TA tools and theories for formal model checking.

---

START Conference Manager (V2.56.8 - Rev. 994)