Thesis Details

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

Bachelor's Thesis Student: Suchánek Martin Academic Year: 2020/2021 Supervisor: Strnadel Josef, Ing., Ph.D.
English title
Dependability Assessment of Fault Tolerant Systems
Language
Czech
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.

Keywords

Dependability, fault, error, failure, fault tolerance, Uppaal

Department
Department of Computer Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade E
Date
17 June 2021
Reviewer
Šimek Václav, Ing.
Committee
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT), předseda
Burget Lukáš, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Mrázek Vojtěch, Ing., Ph.D. (DCSY FIT BUT), člen
Rozman Jaroslav, Ing., Ph.D. (DITS FIT BUT), člen
Citation
SUCHÁNEK, Martin. Vyhodnocování spolehlivostních ukazatelů systémů odolných proti poruchám. Brno, 2021. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2021-06-17. Supervised by Strnadel Josef. Available from: https://www.fit.vut.cz/study/thesis/23580/
BibTeX 
@bachelorsthesis{FITBT23580,
    author = "Martin Such\'{a}nek",
    type = "Bachelor's thesis",
    title = "Vyhodnocov\'{a}n\'{i} spolehlivostn\'{i}ch ukazatel\r{u} syst\'{e}m\r{u} odoln\'{y}ch proti poruch\'{a}m",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2021,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/23580/"
}

Theses

Back to top