On simulation methods for Timed Automata
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F10%3APU88385" target="_blank" >RIV/00216305:26220/10:PU88385 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On simulation methods for Timed Automata
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
On simulation methods for Timed Automata
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BD - Teorie informace
OECD FORD obor
—
Návaznosti výsledku
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)
Ostatní
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
10th IFAC Workshop in Programmable Devices and Embedded Systems
ISBN
978-3-902661-95-1
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
245-250
Název nakladatele
Neuveden
Místo vydání
Pszczyna, Polská Republika
Místo konání akce
Pszczyna
Datum konání akce
6. 10. 2010
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—