Stochastic Timed Automata Simulator
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Stochastic Timed Automata Simulator
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GD102%2F09%2FH081" target="_blank" >GD102/09/H081: SYNERGY - Mobile Sensoric Systems and Networks</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 4th European Computing Conference
ISBN
978-960-474-178-6
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
WSEAS Press
Place of publication
Bucharest, Romania
Event location
Bucharest
Event date
Apr 20, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—