36DSP | Diagnostika a spolehlivost | Rozsah výuky: | 2+2 | ||
---|---|---|---|---|---|
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 diagnostickych dat, příznaková analýza. Slovníky poruch | |
7. | Návrh pro snadnou diagnostiku, vestavěné diagnostické prostředky | |
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. Metoda Boundary scan | |
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. | Intuitivní zcitlivění cesty v obvodech s redundancí, D- algoritmus | |
4. | Boolovská diference, tabulky úplných testů | |
5. | Generování 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. | Lab. cvičení (prováděná cyklicky): Detekce a lokalizace poruch v kombinačních obvodech | |
10. | Boundary scan | |
11. | Diagnostické prostředky pro autonomní testování | |
12. | 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.: Spolehlivost a diagnostika. Skripta ČVUT, Praha 1989 | |
[2] | Hlavička, J.: Diagnostika a spolehlivost - cvičení. Skripta ČVUT, Praha 1989 | |
[3] | Hlavička, J. a kol.: Číslicové systémy odolné proti poruchám. Vydavatelství ČVUT, Praha 1992 |
Literatura A:
Požadavky:
|
Předmět je zahrnut do těchto studijních plánů:
|
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) |