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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications S. 207 - 210
Hauptverfasser:	Saadawi, H, Wainer, G
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.10.2010
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!