From DEVS to RTA-DEVS

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 condit...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications s. 207 - 210
Hlavní autoři: Saadawi, H, Wainer, G
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.10.2010
Témata:
Analytical models
Approximation error
Automata
Computational modeling
DEVS
DEVS verification
Discrete event simulation
model checking
Robustness
RTA-DEVS
Silicon
Timed Automata
UPPAAL
ISBN:1424486513, 9781424486519
ISSN:1550-6525
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
ISBN:1424486513
9781424486519
ISSN:1550-6525
DOI:10.1109/DS-RT.2010.31