Ukončeno v akademickém roce 2022/2023

Spolehlivost a diagnostika

Typ studia	navazující magisterské
Jazyk výuky	čeština
Kód	440-4202/01
Zkratka	SaD
Název předmětu česky	Spolehlivost a diagnostika
Název předmětu anglicky	Reliability and Diagnostics
Kreditů	8
Garantující katedra	Katedra telekomunikační techniky
Garant předmětu	doc. Ing. Jaroslav Zdrálek, Ph.D.

Osnova předmětu

Přednášky:
Základní pojmy diagnostiky. Modely poruch.
Generování testů pro číslicové obvody. Intuitivní zcitlivění cesty. Metoda kritické cesty.
Booleovské diference.
Funkční testování.
Diagnostické přístroje.
DFT - Návrh snadno testovatelných systémů.
BIST - Vestavěné testování.
Hraniční testování - BST (Boundary-Scan Testing) a jeho varianty.
Základní pojmy ze spolehlivosti.
Výpočet spolehlivosti. Sériový, paralelní model. Stavový graf.
Markovské spolehlivostní modely.
Zálohované systémy, statická, dynamická a hybridní záloha.
Systémy odolné proti poruchám.
Zkoušky spolehlivosti.
Přechod od spolehlivosti ke kvalitě. Kvalitativní třídy pro elektronické prvky. Screeningové testy, Systémy QPL a QML. Ukázka aplikace kvality v armádě a ve vesmíru, řešení odolnosti proti poruchám u raketoplánu NASA.
Základní pojmy kódování.
Komprese dat.
Lineární kódy. Hamingovy kódy.
Cyklické kódy.
Konvoluční kódy.

Cvičení:
Modely poruch. Bezpečnostní školení.
Sestavení diagnostických testů - citlivá cesta.
Sestavení diagnostických testů - Kritická cesta.
Sestavení diagnostických testů - Booleovská diference.

Minimalizace testů.
Výpočet spolehlivosti - sériový, paralelní model.
Výpočty spolehlivosti - stavový graf.
Výpočet spolehlivosti - Markovské spolehlivostní modely.
Výpočty spolehlivosti - Markovské spolehlivostní modely.
Zkoušky spolehlivosti.
Lineární kódy.
Komprese dat

Projekty:
Sestavení testu pro daný číslicový systém.
Zkoušky spolehlivosti.
Sestavení kontrolní matice lineárního kódu.

Povinná literatura

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. a kol.: Diagnostika mikroprocesorových systémů. ČSVTS, sv. 8, díl 1, (1985)
Hlavička J., Racek S., Golan P., Blažek T.: Číslicové systémy odolné proti poruchám, ČVUT Praha 1992
Adámek J.: Kódování, SNTL Praha 1989

Adámek J.: Kódování a teorie informace; ČVUT Praha 1994, ISBN 80-01-00661-1
Schoen, J. M.: Performeance and Fault Modelling with VHDL. Prentice Hall (1992)

Doporučená literatura

Parker K. P.: The Boundary-scan handbook; Kluwer 2003; ISBN 1-4020-7496-4
Crouch A. L.: Design for test, For digital IC'sand embedded core systems; Prentice Hall 1999; ISBN 0-13-0848-27-1
Abramovici M., Breuer M. A. and Friedman A. D.: Digital System Testing and Testable Design. IEEE PRESS 1990;
Bleeker H., Eijnden P. and Jong F.: Boundary-Scan Test, A practical Approach; Kluwer Academic Publishers 1993; ISBN 0-7923-9296-5
Pradham and etc.:Fault-Tolerant Computing, Theory and Techniques, Volume I; Prentice Hall 1986; ISBN 0-13-308-230-X
Pradham and etc.:Fault-Tolerant Computing, Theory and Techniques, Volume II; Prentice Hall 1986; ISBN 0-13-308-222-9
Reed I. S. and Xuemin Chen: Error-control coding for data networks; Kluwer 1999;

zpět na vyhledávání