but.committee	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)	cs
but.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ů?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Strnadel, Josef	cs
dc.contributor.author	Suchánek, Martin	cs
dc.contributor.referee	Šimek, Václav	cs
dc.date.created	2021	cs
dc.description.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.	cs
dc.description.abstract	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.	en
dc.description.mark	E	cs
dc.identifier.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.	cs
dc.identifier.other	136484	cs
dc.identifier.uri	http://hdl.handle.net/11012/199347
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	Spoľahlivosť	cs
dc.subject	porucha	cs
dc.subject	chyba	cs
dc.subject	zlyhanie	cs
dc.subject	odolnosť proti poruchám	cs
dc.subject	Uppaal	cs
dc.subject	Dependability	en
dc.subject	fault	en
dc.subject	error	en
dc.subject	failure	en
dc.subject	fault tolerance	en
dc.subject	Uppaal	en
dc.title	Vyhodnocování spolehlivostních ukazatelů systémů odolných proti poruchám	cs
dc.title.alternative	Dependability Assessment of Fault Tolerant Systems	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2021-06-17	cs
dcterms.modified	2021-08-27-17:16:45	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	136484	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:35:21	en
sync.item.modts	2025.01.15 12:32:20	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

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

Files

Original bundle

Collections