Publication detail

Stochastic Timed Automata Simulator

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

Original Title

Stochastic Timed Automata Simulator

English Title

Stochastic Timed Automata Simulator

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

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

RIV year

2010

Released

20.04.2010

Publisher

WSEAS Press

Location

Bucharest, Romania

ISBN

978-960-474-178-6

Book

Proceedings of the 4th European Computing Conference

Edition number

1

Pages from

52

Pages to

57

Pages count

6

BibTex


@inproceedings{BUT30574,
  author="Václav {Kaczmarczyk} and Zdeněk {Bradáč} and Michal {Šír}",
  title="Stochastic Timed Automata Simulator",
  annote="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.",
  address="WSEAS Press",
  booktitle="Proceedings of the 4th European Computing Conference",
  chapter="30574",
  howpublished="print",
  institution="WSEAS Press",
  year="2010",
  month="april",
  pages="52--57",
  publisher="WSEAS Press",
  type="conference paper"
}