Go to main content | Go to main menu | Go to search

Project information
Formální verifikace stochastických systémů s reálným časem (Formální verifikace stochastických systémů s reáln)

Information

This project doesn't include Faculty of Education. It includes Faculty of Informatics. Official project website can be found on muni.cz.
Investor logo
Project Identification
GPP202/12/P612
Project Period
1/2012 - 12/2014
Investor / Pogramme / Project type
Czech Science Foundation
  • Postdoctoral projects
MU Faculty or unit
Faculty of Informatics

Předmětem našeho výzkumu je formální verifikace systémů, které vykazují náhodné chování a zároveň musí splňovat různá časová omezení (stochastic real-time systems, SRTS). Náhodné aspekty systémů se obvykle modelují pomocí stochastických procesů. Systémy pracující v reálném čase jsou typicky modelovány pomocí časových automatů. Abychom byli schopni modelovat SRTS, musíme tyto formalismy vhodně spojit. Koncentrujeme se zejména na strukturální vlastnosti takových systémů a výpočetní složitost základních verifikačních problémů. Další obvyklou vlastností reálných systémů je nedeterminismus, tedy nejistota v chování bez jakékoliv statistické znalosti. Nedeterminismus se také objevuje v problémech, v nichž je třeba syntetizovat řídící jednotku systému. SRTS s nedeterminismem lze modelovat pomocí rozhodovacích procesů se spojitým časem, jejichž cílové podmínky lze vyjádřit pomocí časových automatů. V této oblasti se zabýváme zejména existencí řídící jednotky, která splňuje cílovou podmínku a zároveň ji lze algoritmicky konstruovat.

Publications

Total number of publications: 10

2014

2013

2012

You are running an old browser version. We recommend updating your browser to its latest version.

By clicking “Accept Cookies”, you agree to the storing of cookies on your device to enhance site navigation, analyze site usage, and assist in our marketing efforts. Cookie Settings

Necessary Only Accept Cookies