Metodika vkládání kontrolních prvků do číslicového systému
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Kotásek, Zdeněk | cs |
| dc.contributor.author | Bartl, Michal | cs |
| dc.contributor.referee | Straka, Martin | cs |
| dc.date.created | cs | |
| dc.description.abstract | Problematika popisovaná a řešená v této diplomové práci zapadá tématicky do oblasti testování číslicových obvodů. Jsou v ní vysvětleny základní pojmy jako spolehlivost, řiditelnost, pozorovatelnost a testovatelnost obvodu. Více rozepsány jsou jednotlivé techniky pro zvyšování spolehlivosti číslicových obvodů a je zde uveden také příklad metod zvyšujících testovatelnost obvodu i metody určující metriku, která udává, nakolik je daný obvod diagnostikovatelný. V práci je dále popsán formální model struktury číslicového obvodu, na který navazuje implementační část. V ní byl vytvořen programový prostředek, jehož hlavní funkcí je nalezení komponent, z nichž obvod sestává, a rozpoznání jejich funkce. Pro tyto obvodové prvky dále program vytváří kontrolní obvody, které sledují jejich správnou funkci. | cs |
| dc.description.abstract | The topics described in this diploma thesis belong to the area of digital systems testability analysis. Basic concepts as dependability, controllability, observability and testability are explained. Methods of raising testability and dependability of digital circuits are mentioned including the metrics which allow to evaluate testability parameters. Furthermore, the thesis describes the formal model of digital systems which introduces the implementing part of the thesis. Within this part, a program tool is demonstrated, which allows to identify the components of digital circuits and their function. The other function of the program tool is to create control circuits that check the correct function of such digital circuits. | en |
| dc.description.mark | C | cs |
| dc.identifier.citation | BARTL, M. Metodika vkládání kontrolních prvků do číslicového systému [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. . | cs |
| dc.identifier.other | 25834 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53770 | |
| dc.language.iso | cs | 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 | Spolehlivost | cs |
| dc.subject | analýza testovatelnosti obvodu | cs |
| dc.subject | zvyšování řiditelnosti/pozorovatelnosti obvodu | cs |
| dc.subject | formální model číslicového obvodu | cs |
| dc.subject | kontrolní obvody. | cs |
| dc.subject | Dependability | en |
| dc.subject | testability analysis | en |
| dc.subject | the methods to increase testability of digital circuits | en |
| dc.subject | checker | en |
| dc.subject | formal model to describe structure of digital circuits. | en |
| dc.title | Metodika vkládání kontrolních prvků do číslicového systému | cs |
| dc.title.alternative | Methodology of Inserting Checkers into Digital System | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.modified | 2020-05-09-23:41:28 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 25834 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:07:24 | en |
| sync.item.modts | 2025.01.15 16:14:37 | en |
| thesis.discipline | Počítačové systémy a sítě | 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 |