Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
XD36DSP Diagnostika a spolehlivost Rozsah výuky:14+4
Přednášející (garant):Hlavička J. Typ předmětu:S Zakončení:Z,ZK
Zodpovědná katedra:336 Kreditů:4 Semestr:Z

Anotace:
Modely poruch v číslicových systémech, generování testů pro kombinační a sekvenční obvody, minimalizace testů, simulace poruch, příznaková analýza, vestavěné diagnostické prostředky, testování LSI a VLSI, technické vybavení pro diagnostiku. Úvod do teorie spolehlivosti, modely, ukazatele, jejich hodnocení, zálohování, systémy odolné proti poruchám.

Osnovy přednášek:
1. Úvod do diagnostiky, základní pojmy, modely poruch
2. Generování testů pro kombinační obvody.
3. Generování testů pro sekvenční obvody
4. Minimalizace testů. Náhodné a pseudonáhodné testy
5. Systémy automatizovaného generování testů. Simulace poruch
6. Komprese diagnostických dat, příznaková analýza. Slovníky poruch
7. Návrh pro snadnou diagnostiku, vestavěné diagnostické prostředky, zápis do rozhraní
8. Zabezpečení proti poruchám, samočinně kontrolované obvody. Hlídací časovač
9. Testování obvodů LSI a VLSI: mikroprocesorů, pamětí a PLA
10. Technické vybavení pro diagnostiku
11. Úvod do teorie spolehlivosti. Spolehlivostní modely
12. Výpočty spolehlivostních ukazatelů
13. Zálohování systémů, statická a dynamická záloha
14. Systémy odolné proti poruchám, jejich návrh a použití

Osnovy cvičení:
1. Poruchy v číslicových obvodech, modely poruch
2. Intuitivní zcitlivění cesty
3. Zcitlivění cesty v obvodech s redundancí, D- algoritmus
4. Boolovská diference, tabulky úplných testů
5. Generování Minimalizace testů pro sekvenční obvody
6. Minimalizace testů
7. Komprese diagnostických dat, slovníky poruch
8. Obvody bezpečné proti poruchám. Příprava na laboratorní cvičení
9. Laboratorní cvičení Detekce a lokalizace poruch v kombinačních obvodech
10. Laboratorní cvičení Zápis do rozhraní
11. Laboratorní cvičení Diagnostické prostředky pro autonomní testování
12. Laboratorní cvičení Příznaková analýza
13. Výpočty spolehlivostních parametrů, zálohování systémů
14. Markovské modely obnovovaných a neobnovovaných systémů

Literatura Č:
1. HLAVIČKA, J.: Diagnostika a spolehlivost. Praha, Vydavatelství ČVUT 1998, 155 s.
2. HLAVIČKA, J.: Diagnostika a spolehlivost - cvičení. Praha, Vydavatelství ČVUT 1999, 94 s.
3. HLAVIČKA, J. a kol.: Číslicové systémy odolné proti poruchám. Praha, Vydavatelství ČVUT 1992, 330 s.

Literatura A:
1. M. Abramovici, M. A. Breuer, A. D. Friedman: Digital Systems
Testing and Testable Design. IEEE Computer Society New York 1990, 652 pp.

Požadavky:
Referát z lab. cvičení, dva testy, zkouška.

Předmět je zahrnut do těchto studijních plánů:
Plán Obor Role Dop. semestr
MVT02-D Výpočetní technika S 3
MVT04-D Výpočetní technika S 3
MVT01-D Výpočetní technika S 3
MVT03-D Výpočetní technika S 3
MVT05-D Výpočetní technika S 3


Stránka vytvořena 25. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)