Vyhodnocování spolehlivostních ukazatelů pomocí SMC
| but.committee | doc. Ing. František Zbořil, Ph.D. (předseda) doc. RNDr. Dana Hliněná, Ph.D. (člen) Ing. Michal Hradiš, Ph.D. (člen) doc. Ing. Michal Bidlo, Ph.D. (člen) Ing. Vladimír Veselý, 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 další otázky 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 C. | cs |
| but.jazyk | angličtina (English) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Strnadel, Josef | en |
| dc.contributor.author | Gajdošík, Róbert | en |
| dc.contributor.referee | Lojda, Jakub | en |
| dc.date.created | 2023 | cs |
| dc.description.abstract | Cieľom tejto práce bolo vyhodnotiť ukazalete spoľahlivosti výpočtových systémov. V pr- vom rade bola založená terminológia ktorá vysvetľuje základné pojmy ohľadom štatistiky and spoľahlivosti. Ďalej boli v tomto kroku preskúmané typy a vlastnosti chýb ktoré sa v takýchto systémoch vyskytujú, a techniky ktoré sa dajú využit na ich potlačenie alebo zmiernenie ich dopadu na fungovanie systému. V ďalšom kroku boli vysvetlené základné koncepty ohľadom modelovania a simulácie ako aj krátky nahľad do presností jednotlivých techník ktoré boli zvažované ako možnosti ktoré by boli použiteľné pri samotnom pro- cese generovania dát. Po rozhodnutí ísť cestou štatistickej simulácie boli v ďalšom kroku zavedené metódy pre generovanie dát analytickým spôsobom ktoré slúžia na overenie dát vygenerovaných štatistickými simuláciami, do úrovne kde je ešte možné sa k nim dostať re- latívne jednoduchými výpočtami. Nasleduje prehľad nástrojov na implementáciu modelov našich systémov, ich výhody a nevýhody a miera použiteľnosti. V ďalšich krokoch boli vo vybranom nástroji Uppaal SMC naimplementované niektoré vybrané systémy a situácie na základe časovych automatov, a následne boli vyhodnotené oproti iným metódam zlepšenia spoľahlivosti ako aj oproti analyticky dosiahnutým dátam. Práca končí zavermi ktoré boli vyvodené z testovacích dát. | en |
| dc.description.abstract | The aim of this thesis is assessing dependability of computerized systems using modelling and simulation. After establishing basic nomenclature, research was performed on de- pendability metrics, fault taxonomy and dependability bolstering techniques. Afterwards, analytical solutions were explored to be used as a reference point. Next, multiple simulation tools were assessed and Uppaal SMC was chosen as the most suitable tool because of it’s timed automaton framework enriched with a query language and multiple Simulation Model Checking tools. Finally, systems describing multiple relevant situations were implemented and evaluated against both themselves and the analytically computed reference point. | cs |
| dc.description.mark | C | cs |
| dc.identifier.citation | GAJDOŠÍK, R. Vyhodnocování spolehlivostních ukazatelů pomocí SMC [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023. | cs |
| dc.identifier.other | 142943 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/211045 | |
| dc.language.iso | en | 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 | vyhodnocovanie | en |
| dc.subject | spoľahlivosť | en |
| dc.subject | Uppaal | en |
| dc.subject | Uppaal SMC | en |
| dc.subject | modelovanie | en |
| dc.subject | simulácia | en |
| dc.subject | analýza | en |
| dc.subject | chyby | en |
| dc.subject | nahrázanie | en |
| dc.subject | rekonfigurácia | en |
| dc.subject | štatistika | en |
| dc.subject | časovaný automat | en |
| dc.subject | automat | en |
| dc.subject | multiplex | en |
| dc.subject | assessment | cs |
| dc.subject | dependability | cs |
| dc.subject | Uppaal | cs |
| dc.subject | Uppaal SMC | cs |
| dc.subject | modelling | cs |
| dc.subject | simulation | cs |
| dc.subject | analysis | cs |
| dc.subject | faults | cs |
| dc.subject | sparing | cs |
| dc.subject | reconfiguration | cs |
| dc.subject | statistics | cs |
| dc.subject | timed automaton | cs |
| dc.subject | automaton | cs |
| dc.subject | multiplex | cs |
| dc.title | Vyhodnocování spolehlivostních ukazatelů pomocí SMC | en |
| dc.title.alternative | Dependability Assessment Based on SMC | cs |
| dc.type | Text | cs |
| dc.type.driver | bachelorThesis | en |
| dc.type.evskp | bakalářská práce | cs |
| dcterms.dateAccepted | 2023-06-15 | cs |
| dcterms.modified | 2023-06-15-09:18:16 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 142943 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.18 19:46:32 | en |
| sync.item.modts | 2025.01.15 20:27:39 | 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 |