Original title: Vyhodnocování spolehlivostních ukazatelů pomocí SMC
Translated title: Dependability Assessment Based on SMC
Authors: Gajdošík, Róbert ; Lojda, Jakub (referee) ; Strnadel, Josef (advisor)
Document type: Bachelor's theses
Year: 2023
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [eng] [cze]
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. 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.
Keywords: analýza; automat; chyby; modelovanie; multiplex; nahrázanie; rekonfigurácia; simulácia; spoľahlivosť; Uppaal; Uppaal SMC; vyhodnocovanie; časovaný automat; štatistika; analysis; assessment; automaton; dependability; faults; modelling; multiplex; reconfiguration; simulation; sparing; statistics; timed automaton; Uppaal; Uppaal SMC

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/211045

Permalink: http://www.nusl.cz/ntk/nusl-529322


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses