Technical and methodic skills: constuction and modeling of dependable systems, including types of faults, fault/error/failure models, error detection and analysis, redundancy strategies, dependability modeling.
Cognitive and practical skills: risk assessment, strategies for increasing the dependability of computer systems, tool-based failure modeling (including simulation).
Social competence, qualifications in innovation, creativity: risk assessment and construction of safe computer systems, dependability improvement, dependability analysis of system variants, documentation of dependability.
- Foundations: Dependability, reliability, availability, safety, availability, MTTF
- quanititative analysis: block diagrams, fault trees, markov processes
- Safety, fault models, maintenance, aging, design errors
- Fault-tolerant computer systems: redundancy, error latency, voting, recovery blocks, N-version programming, synchronization
- case studies of dependable and fault tolerant systems
- tool-based modeling of dependable systems
Didactic concept: Technical and theoretical skills are taught in lectures. Practical skills are obtained in lab assignments, where students get experience in dependability modeling and evaluation. Modeling result have to be summarized in a lab report.
ECTS breakdown: 4 ECTS = 100 hours; 20 lectures, 20 preparation and study, 1 exam, 2 lab introduction, 57 lab homeworks and reports.
Materials taught in the following modules of the curriculum: Foundations of digital systems, theoretical computer science and logic, probability theory and stochastic processes, computer architectures and operating systems, microcontrollers and operating systems.