| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/11:00049786 |
| Název v původním jazyce | Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2011 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 2 |
| Údaje z Hodnocení výsledků výzkumných organizací 2014 |
| Výsledek byl hodnocen v Pilíři I |
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
| Zařazení výsledku v hodnocení | D - Článek ve sborníku |
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
| Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají |
| Bodové ohodnocení | 8,000 |
| Faktor korekce | 100,9 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 8,074 |
| Rozdělení výsledku mezi předkladatele |
| Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
|---|
| Masarykova univerzita / Fakulta informatiky | ano | 100,0 % | 8,000 | 8,074 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 5 |
| Tvůrce | Brázdil Tomáš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 1762834) |
| Tvůrce | Krčál Jan (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 9668780) |
| Tvůrce | Křetínský Jan (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 3503054) |
| Tvůrce | Kučera Antonín (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 9872655) |
| Tvůrce | Řehák Vojtěch (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 8986371) |
| Údaje blíže specifikující výsledek |
| Popis v původním jazyce | We propose deterministic timed automata (DTA) as a model-independent language for specifying performance and dependability measures over continuous-time stochastic processes. Technically, these measures are dened as limit frequencies of locations (control states) of a DTA that observes computations of a given stochastic process. Then, we study the properties of DTA measures over semi-Markov processes in greater detail. We show that DTA measures over semi-Markov processes are well-defined with probability one, and there are only finitely many values that can be assumed by these measures with positive probability. We also give an algorithm which approximates these values and the associated probabilities up to an arbitrarily small given precision. Thus, we obtain a general and effective framework for analysing DTA measures over semi-Markov processes. |
| Klíčová slova | semi-Markov processes; timed automata |
| Kód UT ISI | 000290062600005 |
| Název sborníku | HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control |
| Rozsah stran | 33-42 |
| ISBN | 978-1-4503-0629-4 |
| Počet stran výsledku | 10 |
| Název nakladatele | ACM |
| Místo vydání | New York |
| Místo konání akce | Chicago, IL, USA |
| Datum zahájení akce | 12.4.2011 |
| Typ akce podle státní příslušnoti účastníků | WRD - Světová |
| Údaje o tomto záznamu o výsledku |
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2012 |
| Systémové označení dodávky dat | RIV12-MSM-14330___/01:1 |
| Specifikace | RIV/00216224:14330/11:00049786!RIV12-MSM-14330___ |
| Kontrolní kód | [750FC7272C62] |
| Další výskyty tohoto výsledku od stejného předkladatele |
| Dodáno GA ČR v roce 2012 | Záznam s identifikačním kódem RIV/00216224:14330/11:00049786 v dodávce dat RIV12-GA0-14330___/02:1 |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| Projekt | GD102/09/H042 - Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (2009-2012, GA0/GD) |
| Projekt | GP201/08/P459 - Nové možnosti automatické verifikace síťových protokolů (2008-2010, GA0/GP) |
| Projekt | 1M0545 - Institut Teoretické Informatiky (2005-2011, MSM/1M) |
| Výzkumný záměr | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005-2011, MSM) |