IAF0030 - Arvutitehnika erikursus I
Veakindlad arvutisüsteemid (2005/2006 õppeaasta)

NB! Case Study'de teemad paluks esitada hiljemalt 13. aprilliks, koos kuupäevaga, millal soovite ettekande teha. Ettekanded toimuvad 27. aprillil ja 4. mail. (Teemad ja ajakava)

Viimases loengus (6. aprill) näitan muuhulgas presentatsiooni, mida võib võtta eeskujuks oma ettekannete ettevalmistamisel.

Üldine informatsioon:

• Loengud: Neljapäeviti 13:30-15:45, IT-137A (Viimane loeng: 6. aprillil)
• Case Studies: ca. 30 min presentatsioon, ca 10 lk (max 15 lk) analüüs.
• Näiteid võimalikest Case Study teemadest. (Juba valitud teemad)
• Konsultatsioone saab alati kui olen IT-majas (Raja 15).

Loengud:

• 1. Loeng - Sissejuhatus, ajalooline perspektiiv, põhiterminoloogia
• 2. Loeng - Safety, Risks, Hazards, Hazard Analysis
• 3. Loeng - Risks, Risk Analysis, Design practices
• 4. Loeng - Fault Tolerance
• 5. Loeng - Software Testing
• NB! 6. Loeng (09/03/2006) jääb ära! Iseseisev töö (lugemismaterjalid leiate altpoolt). Teema kohta tuleb küsimusi ka eksamil.
• 7. Loeng - Enemies of Dependability
• 8.-9. Loeng - Redundancy.
  Kuna 8. loengust osavõtt oli mikroskoopiline, siis iseseisvalt tuleb katta osad Hardware redundancy, Information redundancy ja Time redundancy. Viiteid leiab altpoolt. Software redundacy't käsitletakse loengus 9.
• 10. Loeng - FT in Distributed Systems

Kirjandus:

Üldine ja sissejuhatav:

• Safety-critical Computer Systems, Neil Storey, Addison Wesley, 1996. (Mitteametlik õpik)
• George Candea, "The Basics of Dependability," Stanford University course CS444a.
• William R. Dunn, "Designing Safety-Critical Computer Systems," IEEE Computer, Volume 36, Issue 11, Nov. 2003. Page(s):40 - 46.
• Robert N. Charette, Why Software Fails, IEEE Spectrum

Risks, Hazards, Hazard Analysis, Risk Analysis (Loengud 2 & 3):

• Therac-25 juhtumi materjalid
• Therac-25 juhtumi uurimine
• IEC 61508 - Functional Safety.
  • Lugeda: "Functional safety and IEC 61508" ning "FAQ - Part E: Key Concepts".

Fault Tolerance:

• V. Nelson, Fault Tolerant Computing: Fundamental Concepts, IEEE Computer
• A. Avizienis, J.-C. Laprie, B. Randell, Fundamental Concepts of Dependability

• L. Lamport, R. Shostak, and M Pease, The Byzantine Generals Problem, 1982.
• M. Castro and B. Liskov, Practical byzantine fault tolerance, Proc. 3rd Symposium on Operating System Design and Implementation, February 1999

• A. Avizienis, Dependable Computing Depends on Structured Fault Tolerance.
• Lossless data compression, eriti pöörata tähelepanu teemale Arithmetic coding
• Hamming Code
• E. Dubrova, "Fault-Tolerant Design: An Introduction" (PDF).
  Lugeda petükid 4 (Hardware Redundancy), 5 (Information Redundancy) ja 6 (Time Redundancy). Põhitähelepanu pöörata põhimõtetele ja kontseptsioonidele. Matemaatiline külg ei ole esmatähtis. Eksamiks valmistudes soovitan ka tähelepänu pöörata peatükile 7 (Software Redundancy).
• Zaipeng Xie, Hongyu Sun and Kewal Saluja, A Survey of Software Fault Tolerance Techniques.

Loeng 10:

• Dr. Flaviu Cristian, Understanding Fault-Tolerant Distributed Systems, Communications of the ACM 34(2) February 1991.

Täiendavad viited:

• Safety Critical Systems Virtual Library

Case Study'de näited:

• Mõned presentatsioonid Dr. Jon Muzio lehekülgedelt, milledest võiks eeskuju võtta (presentatsioonid P1 - P7)
• Mõned presentatsioonid ja artiklid prof. Kewal K. Saluja tudengitelt, milledest võiks eeskuju võtta (alajaotused PAPERS ja PRESENTATIONS)

Kontakt:

• Gert Jervan