Detail publikace

Stochastic Timed Automata Simulator

KACZMARCZYK, V. BRADÁČ, Z. ŠÍR, M.

Originální název

Stochastic Timed Automata Simulator

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

In the paper the idea of timed automata simulator is introduced. The proposed simulator is an 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 transition. A probability density function, which is needed for such calculation, is formally added to each edge of the automaton. Described procedure can reveal realistic behavior of the system modeled by the automaton. Within the paper the concept of a state-space tracing is shown on a case-study.

Klíčová slova

Timed automata, Probabilistic simulation, Simulator, UPPAAL PRO, UPPAAL extension

Autoři

KACZMARCZYK, V.; BRADÁČ, Z.; ŠÍR, M.

Rok RIV

2010

Vydáno

20. 4. 2010

Nakladatel

WSEAS Press

Místo

Bucharest, Romania

ISBN

978-960-474-178-6

Kniha

Proceedings of the 4th European Computing Conference

Číslo edice

1

Strany od

52

Strany do

57

Strany počet

6

BibTex

@inproceedings{BUT30574,
  author="Václav {Kaczmarczyk} and Zdeněk {Bradáč} and Michal {Šír}",
  title="Stochastic Timed Automata Simulator",
  booktitle="Proceedings of the 4th European Computing Conference",
  year="2010",
  number="1",
  pages="52--57",
  publisher="WSEAS Press",
  address="Bucharest, Romania",
  isbn="978-960-474-178-6"
}