Detail práce
Vyhodnocování spolehlivostních ukazatelů systémů odolných proti poruchám
Spoľahlivosť je dôležitou súčasťou rôznych systémov. Cieľom práce je vytvorenie spoľahlivostných modelov niektorých opravovaných a neopravovaných systémov odolných proti poruchám a následné vyhodnocovanie ich spoľahlivostných ukazateľov. Na vytváranie modelov je využitý nástroj Uppaal spolu s rozšírením SMC, ktoré slúži na verifikáciu. Výsledkom práce je overenie modelov a vyhodnocovanie spoľahlivostných ukazateľov s využitím nástroja Uppaal SMC.
Spoľahlivosť, porucha, chyba, zlyhanie, odolnosť proti poruchám, Uppaal
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na doplnění ze strany přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm "E".
- Můžete prosím na základě výsledků prezentovaných v kapitolách 4.2 - 4.4 ve stručnosti porovnat analyzované systémy z hlediska spolehlivosti? Domnívám se, že tato informace není v technické zprávě obsažena.
- Můžete se stručně vyjádřit k výpočetní náročnosti (časové i paměťové) provádění verifikačního ověřování zvolených spolehlivostních ukazatelů dle tabulky 2.1, např. jak předložené řešení škáluje s počtem uvažovaných poruch s parametrem "probability uncertainty"?
- Komise, například: Jak jste vykreslil graf na "slide 8" ze 3 zjištěných bodů?
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Mrázek Vojtěch, Ing., Ph.D. (UPSY FIT VUT), člen
Rozman Jaroslav, Ing., Ph.D. (UITS FIT VUT), člen
@bachelorsthesis{FITBT23580, author = "Martin Such\'{a}nek", type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce", title = "Vyhodnocov\'{a}n\'{i} spolehlivostn\'{i}ch ukazatel\r{u} syst\'{e}m\r{u} odoln\'{y}ch proti poruch\'{a}m", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2021, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/23580/" }