Detail práce
Use of verification for testing fault-tolerance in FPGA-based system
Odolnost proti poruchám je jedna z nejčastěji využívaných technik pro eliminaci vlivu poruch na číslicové systémy a zvýšení jejich spolehlivosti. Tato práce popisuje platformu pro testování technik pro zajištění odolnosti proti poruchám v systémech založených na FPGA. Platforma využívá principů funkční verifikace, přičemž experimentální elektronická řídicí jednotka je přesunuta na FPGA, což umožňuje využít injekci poruch přímo do FPGA. Platforma umožňuje využít elektro-mechanickou aplikaci jako experimentální systém a sledovat vliv poruch jak na elektronickou řídicí jednotku, tak na chování řízené mechanické části. V práci jsou představeny experimenty se dvěma experimentálními systémy - robot pro hledání cesty v bludišti a elektronický zámek. Platforma je navržena tak, aby umožnila využití libovolného experimentálního systému s elektronickou řídicí jednotkou implementovanou v FPGA.
FPGA, odolnost proti poruchám, spolehlivost, injekce poruch, funkční verifikace, elektro-mechnický systém.
@phdthesis{FITPT885, author = "Jakub Podiv\'{i}nsk\'{y}", type = "Diserta\v{c}n\'{i} pr\'{a}ce", title = "Use of verification for testing fault-tolerance in FPGA-based system", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2021, location = "Brno, CZ", language = "english", url = "https://www.fit.vut.cz/study/phd-thesis/885/" }