Publication result detail

Stochastic Timed Automata Simulator

KACZMARCZYK, V.

Original Title

Stochastic Timed Automata Simulator

English Title

Stochastic Timed Automata Simulator

Type

Paper in proceedings (conference paper)

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.

English 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

Key words in English

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

Authors

KACZMARCZYK, V.

RIV year

2010

Released

08.09.2009

Publisher

VUT Brno

Location

Brno

ISBN

978-80-214-3949-8

Book

Proceedings of the International Conference IWCIT '09

Edition

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