Vyhodnocování spolehlivostních ukazatelů systémů odolných proti poruchám
Loading...
Date
Authors
Suchánek, Martin
Advisor
Referee
Mark
E
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
ORCID
Abstract
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.
Reliability is an important part of various systems. The aim of the work is to create reliability models of some reconfigurable and nonreconfigurable fault tolerant systems and subsequent evaluation of their reliability indicators. The Uppaal tool is used to create models, along with the SMC extension, which is used for verification. The result of the work is the verification of models and evaluation of reliability indicators using the tool Uppaal SMC.
Reliability is an important part of various systems. The aim of the work is to create reliability models of some reconfigurable and nonreconfigurable fault tolerant systems and subsequent evaluation of their reliability indicators. The Uppaal tool is used to create models, along with the SMC extension, which is used for verification. The result of the work is the verification of models and evaluation of reliability indicators using the tool Uppaal SMC.
Description
Keywords
Spoľahlivosť , porucha , chyba , zlyhanie , odolnosť proti poruchám , Uppaal , Dependability , fault , error , failure , fault tolerance , Uppaal
Citation
SUCHÁNEK, M. Vyhodnocování spolehlivostních ukazatelů systémů odolných proti poruchám [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Informační technologie
Comittee
doc. Ing. Vladimír Janoušek, Ph.D. (předseda)
doc. Ing. Lukáš Burget, Ph.D. (místopředseda)
prof. Ing. Jan M. Honzík, CSc. (člen)
Ing. Vojtěch Mrázek, Ph.D. (člen)
Ing. Jaroslav Rozman, Ph.D. (člen)
Date of acceptance
2021-06-17
Defence
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: 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ů?
Result of defence
práce byla úspěšně obhájena