Module Description

Module: Design of Dependable Systems

Courses:

TitleTypeHrs/WeekPeriod
Designing Dependable SystemsLecture2Summer Semester
Designing Dependable SystemsRecitation Section (small)2Summer Semester

Module Responsibility:

Prof. Görschwin Fey

Admission Requirements:

None

Recommended Previous Knowledge:

Basic knowledge about data structures and algorithms

Educational Objectives:

Professional Competence

Theoretical Knowledge

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

Capabilities

Ability to implement dependable systems using the above approaches.

Ability to analyzs the dependability of systems using the above methods for analysis.

Personal Competence

Social Competence

Students

  • discuss relevant topics in class and
  • present their solutions orally.
Autonomy

Using accompanying material students independently learn in-depth relations between concepts explained in the lecture and additional solution strategies.

ECTS-Credit Points Module:

6 ECTS

Examination:

Oral exam

Workload in Hours:

Independent Study Time: 124, Study Time in Lecture: 56


Course: Designing Dependable Systems

Lecturer:

Görschwin Fey

Language:

German & English

Period:

Summer Semester

Content:

Description

The term dependability comprises various aspects of a system. These are typically:

  • Reliability
  • Availability
  • Maintainability
  • Safety
  • Security

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 considered.

Contents

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:

  • Modelling
  • Fault Tolerance
  • Design Concepts
  • Analysis Techniques