Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

• Autoři: BRÁZDIL Tomáš; KRČÁL Jan; KŘETÍNSKÝ Jan; KUČERA Antonín; ŘEHÁK Vojtěch
• Rok publikování: 2011
• Druh: Článek ve sborníku
• Konference: HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: semi-Markov processes; timed automata
• Popis: V článku jsou studovány deterministické časové automaty (DTA) jako modelově nezávislý jazyk pro specifikaci různých vlastností souvisejících s výkonem a spolehlivostí stochastických procesů se spojitým časem. Technicky jsou tyto vlastnosti definovány jako limity frekvencí výskytů lokací daného DTA, který sleduje výpočet daného stochastického procesu. Ukážeme, že uvedené vlastnosti jsou dobře definované a podáme algoritmus, který dokáže příslušné kvantitativní charakteristiky aproximovat s libovolně malou kladnou chybou.

Související projekty

• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy
• Nové možnosti automatické verifikace síťových protokolů
• 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ů
• Formální metody pro analýzu a verifikaci komplexních systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace
• Posílení zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity