Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Rechnerorganisation und Kommunikation

Vorlesungsfolien Zuverlässige Systeme WS 09/10

 

Titel Inhalt
01 - Introduction Introduction, Dependable Design Methodology, Main References
02 - Foundations Concepts and Measures
03 - Design Designing dependable systems: Overview of techniques and guidelines
04 - Models Models to determine Dependability Measures, Fault trees, RBD, Markov Models, Petri nets, SANs, tools, hardware reliability models, software reliability models, infrastructure reliability models, experimental analysis using fault injection
05 - Testing Hardware testing: processor, memory
06 - Diagnosis Checks for fault detection, system diagnosis, diagnosis in distributed systems
07 - Fault Recovery reactive, proactive-reactive, proactive fault handling methods
08 - HW Redundancy Static redundancy, dynamic redundancy, hybrid redundancy
09 - FT Memories Fault tolerant memories, Redundancy codes
10 - Storage
Redundant Array of Inexpensive Disks (RAID), S.M.A.R.T., Google Disk data
11 - FT Software Fault-tolerant Software, N-version programming
12 - Proactive Fault Management Proactive Fault Management: Monitoring, Prediction Actions
13 - Autonomic Computing Autonomic Computing
14 - Consensus Omniscience, Consensus, Byzantine Agreement