Detail publikace

On simulation methods for Timed Automata

Originální název

On simulation methods for Timed Automata

Anglický název

On simulation methods for Timed Automata

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

Dokumenty

BibTex


@inproceedings{BUT35099,
  author="Václav {Kaczmarczyk} and Michal {Šír} and Zdeněk {Bradáč}",
  title="On simulation methods for Timed Automata",
  annote="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.",
  booktitle="10th IFAC Workshop in Programmable Devices and Embedded Systems",
  chapter="35099",
  howpublished="print",
  year="2010",
  month="october",
  pages="245--250",
  type="conference paper"
}