Detail publikace

On simulation methods for Timed Automata

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"
}