CENG 525

Hata Toleranslı Hesaplama

Hata modelleme, test, bilgisayar sistemlerindeki hata toleransı sağlayan çoklama yöntemleri, hata tespit etme, hatayı düzeltme, hata kapsamı, alandaki güncel araştırma konuları.

Dersin Amacı

Hata toleranslı bilgisayar sistemleri için hata modeli, sınama, ve çoklama tekniklerinin anlaşılması

Kaynakça

Israel Koren, C. Mani Krishna, Fault-Tolerant Systems, Morgan Kaufmann, 2007.
B.S. Dhillon, Computer System Reliability, CRC Press, 2013.

Öğrenme Çıktıları

1. Hataları ve sınama kavramını anlayabilme
2. Donanımsal ve yazılımsal hata toleransı tekniklerini tasarlayabilme ve değerlendirebilme
3. Güvenlik açısından kritik sistemlerde güvenilirlik tekniklerinin uygulanması konusunda tecrübe gösterebilme

Hafta Konu
1 Hata toleransına giriş
2 Dijital devreler ve hata modelleme
3 Birleşimsel ve ardışık devreler için sınama
4 Mikroişlemci tabanlı sistemler için sınama
5 Hata bulma, kendini kontrol eden modüller
6 Arıza teşhisi, çoklama
7 Ara sınav
8 Yazılım güvenilirliği
9 Kendini düzelten algoritmalar
10 Hata kapsama
11 Hassasiyet buluşu
12 Bozukluk buluşu
13 Alandaki güncel araştırma konuları
14 Alandaki güncel araştırma konuları

Notlandırma

Yazılı Vize Sınavı: 20%

Yazılı Final Sınavı: 30%

Ödevler: 10%

Dönem Projesi: 40%