Stochastic Timed Automata Simulator

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F10%3APU86649" target="_blank" >RIV/00216305:26220/10:PU86649 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Stochastic Timed Automata Simulator
Popis výsledku v původním jazyce
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 accordingto 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.
Název v anglickém jazyce
Stochastic Timed Automata Simulator
Popis výsledku anglicky
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 accordingto 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.

Projekt
<a href="/cs/project/GD102%2F09%2FH081" target="_blank" >GD102/09/H081: SYNERGIE - Mobilní senzorické systémy a sítě</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)