Publication detail

Stochastic Timed Automata Simulator

KACZMARCZYK, V.

Original Title

Stochastic Timed Automata Simulator

Type

conference paper

Language

English

Original Abstract

In the paper basic idea of timed automata simulator is introduced. The simulator should be the extension of the UPPAAL tool (tool for modeling, simulation and verification systems) simulator. After basic definition for clarifying notion is presented the structure of simulator and simulation data. In the second chapter there is mentioned an illustration example of simple automaton and its calculation. Common problems are described and their solution is sketched out. In the last chapter the future research is outlined.

Keywords

Simulator, Stochastic automaton, Timed automaton, Time region, Probability

Authors

KACZMARCZYK, V.

RIV year

2009

Released

8. 9. 2009

Publisher

VUT Brno

Location

Brno

ISBN

978-80-214-3949-8

Book

Proceedings of the International Conference IWCIT '09

Edition

1

Edition number

1

Pages from

141

Pages to

148

Pages count

8

BibTex

@inproceedings{BUT29810,
  author="Václav {Kaczmarczyk}",
  title="Stochastic Timed Automata Simulator",
  booktitle="Proceedings of the International Conference IWCIT '09",
  year="2009",
  series="1",
  number="1",
  pages="141--148",
  publisher="VUT Brno",
  address="Brno",
  isbn="978-80-214-3949-8"
}