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%
Öğretim Elemanı
- CENG 501
- CENG 502
- CENG 503
- CENG 504
- CENG 505
- CENG 506
- CENG 507
- CENG 508
- CENG 509
- CENG 511
- CENG 512
- CENG 513
- CENG 514
- CENG 515
- CENG 516
- CENG 517
- CENG 518
- CENG 521
- CENG 522
- CENG 523
- CENG 524
- CENG 531
- CENG 532
- CENG 533
- CENG 534
- CENG 541
- CENG 542
- CENG 543
- CENG 544
- CENG 551
- CENG 552
- CENG 555
- CENG 556
- CENG 557
- CENG 561
- CENG 562
- CENG 563
- CENG 564
- CENG 565
- CENG 566
- CENG 600
- CENG 608
- CENG 611
- CENG 612
- CENG 613
- CENG 631
- CENG 632
- CENG 641
- CENG 642
- CENG 643
- CENG 651
- CENG 661
- CENG 662
- CENG 663
- CENG 690