Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
KACZMARCZYK, V. ŠÍR, M. BRADÁČ, Z.
Originální název
On simulation methods for Timed Automata
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
In the paper the idea of timed automatat simulator is ontroduced. The proposed simulator is and extension of the UPPAAL tool simulator. Instead of choosing transition to be performed randomly or manually, the simulator calculates transition times according to transition guard and state invariant for each transaition. Described procedure can reveal realistic behavior of the system modeled by the automaton. To reach the target, and extension of timed automata formal is proposed. Within the paper the concept of a state-space tracing is shown on a case-study.
Klíčová slova
Timed safety automata, Probabilistic simulation, Timed automata simulator, Simulator, UPPAAL extension
Autoři
KACZMARCZYK, V.; ŠÍR, M.; BRADÁČ, Z.
Vydáno
6. 10. 2010
Místo
Pszczyna, Polská Republika
ISBN
978-3-902661-95-1
Kniha
10th IFAC Workshop in Programmable Devices and Embedded Systems
Číslo edice
1
Strany od
245
Strany do
250
Strany počet
6
BibTex
@inproceedings{BUT35099, author="Václav {Kaczmarczyk} and Michal {Šír} and Zdeněk {Bradáč}", title="On simulation methods for Timed Automata", booktitle="10th IFAC Workshop in Programmable Devices and Embedded Systems", year="2010", number="1", pages="245--250", address="Pszczyna, Polská Republika", isbn="978-3-902661-95-1" }