Detail publikace

Stochastic Timed Automata Simulator

Originální název

Stochastic Timed Automata Simulator

Anglický název

Stochastic Timed Automata Simulator

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

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