Diagnostika a spolehlivost

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra počítačů

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.

Požadavky:

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

Osnova 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í

Osnova 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ů

Cíle studia:

Studijní materiály:

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.

Poznámka:

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Výpočetní technika - softwarové inženýrství- strukturované studium (povinně volitelný předmět)
• Výpočetní technika - systémové programování- strukturované studium (povinně volitelný předmět)
• Výpočetní technika - počítačová grafika- strukturované studium (povinně volitelný předmět)
• Výpočetní technika - počítačové sítě a internet- strukturované studium (povinně volitelný předmět)
• Výpočetní technika - projektování číslicových systémů- strukturované studium (povinný předmět zaměření, povinně volitelný předmět)