but.committee	prof. Ing. Martin Drahanský, Ph.D. (předseda) doc. Ing. Petr Fišer, Ph.D. (člen) prof. Ing. Hana Kubátová, CSc. (člen) prof. Ing. Zdeněk Plíva, Ph.D. (člen) doc. Ing. Stanislav Racek, CSc. (člen)	cs
but.defence	Student přednesl cíle a výsledky, kterých v rámci řešení disertační práce dosáhl. V rozpravě student odpověděl na otázky komise a oponentů. Diskuze je zaznamenána na diskuzních lístcích, které jsou přílohou protokolu. Počet diskuzních lístků: 2. Komise se v závěru jednomyslně usnesla, že student splnil podmínky pro udělení akademického titulu doktor.	cs
but.jazyk	angličtina (English)
but.program	Výpočetní technika a informatika	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Kotásek, Zdeněk	en
dc.contributor.author	Podivínský, Jakub	en
dc.contributor.referee	Fišer, Petr	en
dc.contributor.referee	Racek, Stanislav	en
dc.date.accessioned	2024-08-22T08:11:01Z
dc.date.available	2024-08-22T08:11:01Z
dc.date.created		cs
dc.description.abstract	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.	en
dc.description.abstract	Fault tolerance is one of the most commonly used techniques to eliminate the effect of faults on digital systems and increase their reliability. This work presents a platform for testing such fault tolerance techniques targeted to FPGA-based systems. The platform uses the principles of functional verification, while the experimental electronic controller is moved to the FPGA, which allows the use of fault injection directly into the FPGA. The platform makes it possible to use the electro-mechanical application as an experimental system and allows to monitor the effect of faults on both the electronic controller and the behavior of controlled mechanical part. This work presents experiments with two experimental systems - robot for finding a path through a maze and an electronic lock. The platform is designed to allow the use of any experimental system with an electronic control unit implemented in the FPGA	cs
dc.description.mark	P	cs
dc.identifier.citation	PODIVÍNSKÝ, J. Využití verifikace pro ověřování odolnosti proti poruchám u systémů založených na FPGA [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .	cs
dc.identifier.other	139334	cs
dc.identifier.uri	https://hdl.handle.net/11012/249414
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	FPGA	en
dc.subject	odolnost proti poruchám	en
dc.subject	spolehlivost	en
dc.subject	injekce poruch	en
dc.subject	funkční verifikace	en
dc.subject	elektro-mechnický systém.	en
dc.subject	FPGA	cs
dc.subject	fault tolerance	cs
dc.subject	reliability	cs
dc.subject	fault injection	cs
dc.subject	functional verification	cs
dc.subject	electro-mechanical system.	cs
dc.title	Využití verifikace pro ověřování odolnosti proti poruchám u systémů založených na FPGA	en
dc.title.alternative	Use of verification for testing fault-tolerance in FPGA-based system	cs
dc.type	Text	cs
dc.type.driver	doctoralThesis	en
dc.type.evskp	dizertační práce	cs
dcterms.modified	2021-10-07-14:22:54	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	139334	en
sync.item.dbtype	ZP	en
sync.item.insts	2024.08.22 10:11:01	en
sync.item.modts	2024.08.20 14:31:44	en
thesis.discipline	Výpočetní technika a informatika	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Doktorský	cs
thesis.name	Ph.D.	cs

Využití verifikace pro ověřování odolnosti proti poruchám u systémů založených na FPGA

Files

Original bundle

Collections