Detail práce

Vyhodnocování spolehlivostních ukazatelů systémů odolných proti poruchám

Bakalářská práce Student: Suchánek Martin Akademický rok: 2020/2021 Vedoucí: Strnadel Josef, Ing., Ph.D.
Název anglicky
Dependability Assessment of Fault Tolerant Systems
Jazyk práce
český
Abstrakt

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.

Klíčová slova

Spoľahlivosť, porucha, chyba, zlyhanie, odolnosť proti poruchám, Uppaal

Ústav
Ústav počítačových systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení E
Obhajoba
17. června 2021
Oponent
Šimek Václav, Ing.
Průběh obhajoby

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".

Otázky u obhajoby
  1. 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.
  2. 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"?
  3. Komise, například: Jak jste vykreslil graf na "slide 8" ze 3 zjištěných bodů?
Komise
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), předseda
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
Citace
SUCHÁNEK, Martin. Vyhodnocování spolehlivostních ukazatelů systémů odolných proti poruchám. Brno, 2021. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2021-06-17. Vedoucí práce Strnadel Josef. Dostupné z: https://www.fit.vut.cz/study/thesis/23580/
BibTeX 
@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/"
}

Závěrečné práce

Nahoru