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
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.
Conference Manager (V2.56.8 - Rev. 994)