Terminated in academic year 2009/2010

Diagnostika počítačů

Typ studia	navazující magisterské
Jazyk výuky	čeština
Kód	456-0305/01
Zkratka	DGP
Název předmětu česky	Diagnostika počítačů
Název předmětu anglicky	Computer Diagnostics
Kreditů	5
Garantující katedra	Katedra informatiky
Garant předmětu	prof. Ing. Karel Vlček, CSc.

Subject syllabus

Přednášky:
Základní pojmy diagnostiky.
Druhy poruch v číslicových systémech.
Generování testů pro číslicové obvody. Intuitivní zcitlivění cesty.
D-algoritmus: přenos, průnik, konzistence.
Booleovské diference.
Vestavěné diagnostické prostředky.
Hraniční testování - BST (Boundary-Scan Testing).
Programovací jazyky pro BST.
Zkoušeče, kategorizace na typy, hlavní funkční bloky.
Technika hledání poruch.

Vestavěné diagnostické prostředky.
Testování pamětí - modely poruch.
Testování mikroprocesorů.
Diagnostika pomocí vývojových systémů.
Směry dalšího rozvoje testovací techniky.

Cvičení:
Ve cvičeních jsou počítány příklady na zjišťování přítomnosti poruch, jsou generovány pseudonáhodné testovací vektory a vyhodnocovány případové studie pro pokrytí testem u různých typů číslicových obvodů a systémů

Projekty:
Projekt: vytvoření metody testování středně složité jednotky počítače.

Počítačové laboratoře:
Počítačová cvičení jsou prováděna na počítačové učebně, kde jsou řešeny příklady a spouštěny simulace vybraných experimentů.

Literature

Hlavička J., Kottek E., Zelený J.: Diagnostika elektronických číslicových obvodů. SNTL/ALFA (1982).
Drábek, V.: Spolehlivost a diagnostika. Praha (1986).
Hlavička, J., Racek, S., Golan P., Blažek, T.: Číslicové systémy odolné proti poruchám. Vydavatelství ČVUT Praha, (1992), ISBN 80-01-00852-5
Hlavička J. a kol.: Diagnostika mikroprocesorových systémů. ČSVTS, sv. 8, díl 1, (1985).

Advised literature

Schoen, J. M.: Performance and Fault Modelling with VHDL. Prentice Hall (1992).

Vlček, K.: Komprese a kódová zabezpečení v multimediálních komunikacích, BEN Technická literatura, Praha (2000), ISBN 80-86056-68-6
Vlček, K., Musil, V.: Diagnostika počítačů. Ediční středisko VŠB Technická universita, Ostrava (2001)
Musil, V., Vlček, K.: Diagnostika elektronických obvodů. Ústav mikroelektroniky FEI VUT v Brně (1998)

back to search page