Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Course INF-33-31-K-5

Safety and Reliability of Embedded Systems (2V+1U, 4.0 LP)

Course Type

SWS Type Course Form CP (Effort) Presence-Time / Self-Study
- K Lecture with exercise classes (V/U) 4.0 CP 78 h
2 V Lecture 28 h
1 U Exercise class (in small groups) 14 h
(2V+1U) 4.0 CP 42 h 78 h

Basedata

SWS 2V+1U
CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. in WiSe
Level [5] Master (Entry Level)
Language [EN] English
Lecturers
Area of study [INF-SE] Software-Engineering
Livecycle-State [NORM] Active

Contents

Safety and reliability are of crucial importance in many software controlled systems, e.g. in railway applications, aircrafts, automobiles and medical systems. Here, malfunctions could endanger human lives. Therefore, it is necessary to analyze safety of such systems. This has to be done very thoroughly, i.e. the results should be complete or at least prove that the residual risk is below an acceptable level.
  • The lecture discusses safety and reliability in systems in a comprehensive way.
  • It introduces techniques that are used to determine residual risks in systems, and discusses their properties (advantages and disadvantages, limitations).
  • Current techniques for risk acceptance, i.e. for decision making, if a known residual risk is acceptable or if the system has to be improved accordingly, are also discussed.
  • In addition, software reliability analysis techniques and formal safety proofs are introduced.

Literature

  • Liggesmeyer P., Software-Qualität (2.Aufl.), Heidelberg: Spektrum Akademischer Verlag, 2009.
  • Liggesmeyer P., Qualitätssicherung softwareintensiver technischer Systeme, Heidelberg: Spektrum Akademischer Verlag, 2000.
  • Lyu M.R., Handbook of Software Reliability Engineering, New York: McGraw-Hill, 1995.
  • Kececioglu D., Reliability Engineering Handbook, Prentice-Hall 1991.

Requirements for attendance (informal)

None

Requirements for attendance (formal)

None

References to Course [INF-33-31-K-5]

Module Name Context
[INF-33-31-M-5] Safety and Reliability of Embedded Systems P: Obligatory 2V+1U, 4.0 LP
Course-Pool Name
[INF-SE_V-KPOOL-6] Lectures of the teaching area Software Engineering