Automatická konstrukce hlídacích obvodů založených na konečných automatech
| but.committee | doc. Ing. Zdeněk Kotásek, CSc. (předseda) prof. RNDr. Milan Češka, CSc. (místopředseda) doc. Ing. Michal Bidlo, Ph.D. (člen) doc. Ing. Jiří Jaroš, Ph.D. (člen) doc. Ing. Stanislav Racek, CSc. (člen) prof. Ing. Miroslav Švéda, CSc. (člen) | cs |
| but.defence | Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla 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í studentky na položené otázky rozhodla práci hodnotit stupněm " A ". Otázky u obhajoby: Na str. 12 uvádíte "... hard errors (a broken wire), ...". Jaký je rozdíl mezi "hard error" a "fault" ? Co znamená "mq" ve 3. odstavci zdola na str. 18 a s tím související vektor "<mq...>" umístěný tamtéž? Lze se jen domnívat, že "mq" souvisí s pojmem "membership query". Jaký dopad na vlastnosti (např. doba učení) a výstupy učení (např. nároky na prostředky FPGA či schopnost hlídacího obvodu detekovat chybu) očekáváte v případě učení na obvodech řádově složitějších než "PEU slave" ? | 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 | Kaštil, Jan | en |
| dc.contributor.author | Matušová, Lucie | en |
| dc.contributor.referee | Strnadel, Josef | en |
| dc.date.created | 2014 | cs |
| dc.description.abstract | Cílem této práce bylo studium aktivního učení automatů, navržení a implementace softwarové architektury pro automatickou konstrukci hlídacího obvodu dané jednotky implementované v FPGA a ověření funkčnosti hlídacího obvodu pomocí injekce poruch. Hlídací obvod, tzv. online checker, má za úkol zabezpečovat danou jednotku proti poruchám. Checker je konstruován z modelu odvozeného pomocí aktivního učení automatů, které probíhá na základě komunikace se simulátorem. Pro implementaci učícího prostředí byla použita knihovna LearnLib, která poskytuje algoritmy aktivního učení automatů a jejich optimalizace. Byla navržena a implementována experimentální platforma umožňující řízenou injekci poruch do designu v FPGA, která slouží k otestování checkeru. Výsledky experimentů ukazují, že při použití checkeru a rekonfigurace je možné snížit chybovost designu o více než 98%. | en |
| dc.description.abstract | The aim of this thesis was to study active automata learning, to design and implement a software architecture for the automatic construction of a checking circuit for a given unit implemented in FPGA, and to verify the functionality of the checking circuit by fault injection. The checking circuit, denoted as an online checker, introduces fault tolerance aspects to the unit. The checker is constructed from a model inferred by active automata learning, which is based on communication with a simulator. To implement the learning environment, LearnLib library has been employed. It provides active automata learning algorithms and their optimizations. An experimental platform enabling controlled fault injection into a design in FPGA was designed and implemented. The platform was used to test the capabilities of the obtained checker. The experimental results show that the error rate is reduced by more than 98% if the checker and reconfiguration is used. | cs |
| dc.description.mark | A | cs |
| dc.identifier.citation | MATUŠOVÁ, L. Automatická konstrukce hlídacích obvodů založených na konečných automatech [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014. | cs |
| dc.identifier.other | 79939 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/52633 | |
| 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 | hlídací obvod | en |
| dc.subject | online checker | en |
| dc.subject | aktivní učení automatů | en |
| dc.subject | Mealyho automat | en |
| dc.subject | SEU injekce | en |
| dc.subject | checking circuit | cs |
| dc.subject | online checker | cs |
| dc.subject | active automata learning | cs |
| dc.subject | Mealy Machine | cs |
| dc.subject | SEU injection | cs |
| dc.title | Automatická konstrukce hlídacích obvodů založených na konečných automatech | en |
| dc.title.alternative | Automatic Construction of Checking Circuits Based on Finite Automata | cs |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2014-06-26 | cs |
| dcterms.modified | 2020-05-10-16:11:46 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 79939 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:16:47 | en |
| sync.item.modts | 2025.01.17 14:12:04 | en |
| thesis.discipline | Počítačové a vestavěné systémy | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |