Module: Design of Dependable Systems
|Designing Dependable Systems||Lecture||2||Summer Semester|
|Designing Dependable Systems||Recitation Section (small)||2||Summer Semester|
Prof. Görschwin Fey
Recommended Previous Knowledge:
Basic knowledge about data structures and algorithms
In the following "dependable" summarizes the concepts Reliability, Availability, Maintainability, Safety and Security.
Knowledge about approaches for designing dependable systems, e.g.,
- Structural solutions like modular redundancy
- Algorithmic solutions like handling byzantine faults or checkpointing
Knowledge about methods for the analysis of dependable systems
Ability to implement dependable systems using the above approaches.
Ability to analyzs the dependability of systems using the above
methods for analysis.
- discuss relevant topics in class and
- present their solutions orally.
Using accompanying material students independently learn in-depth relations between concepts explained in the lecture and additional solution strategies.
ECTS-Credit Points Module:
Workload in Hours:
Independent Study Time: 124, Study Time in Lecture: 56
Course: Designing Dependable Systems
German & English
The term dependability comprises various aspects of a system. These are typically:
This makes dependability a core aspect that has to be considered
early in system design, no matter whether software, embedded
systems or full scale cyber-physical systems are
The module introduces the basic concepts for the design and the analysis of dependable systems. Design examples for getting practical hands-on-experience in dependable design techniques. The module focuses towards embedded systems. The following topics are covered:
- Fault Tolerance
- Design Concepts
- Analysis Techniques