Publication detail

On simulation methods for Timed Automata

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

Original Title

On simulation methods for Timed Automata

Type

conference paper

Language

English

Original Abstract

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.

Keywords

Timed safety automata, Probabilistic simulation, Timed automata simulator, Simulator, UPPAAL extension

Authors

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

Released

6. 10. 2010

Location

Pszczyna, Polská Republika

ISBN

978-3-902661-95-1

Book

10th IFAC Workshop in Programmable Devices and Embedded Systems

Edition number

1

Pages from

245

Pages to

250

Pages count

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