Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Module INF-33-31-M-5

Safety and Reliability of Embedded Systems (M, 4.0 LP)

Module Identification

Module Number Module Name CP (Effort)
INF-33-31-M-5 Safety and Reliability of Embedded Systems 4.0 CP (120 h)

Basedata

CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. in WiSe
Level [5] Master (Entry Level)
Language [EN] English
Module Manager
Lecturers
Area of study [INF-SE] Software-Engineering
Reference course of study [INF-88.79-SG] M.Sc. Computer Science
Livecycle-State [NORM] Active

Courses

Type/SWS Course Number Title Choice in
Module-Part
Presence-Time /
Self-Study
SL SL is
required for exa.
PL CP Sem.
2V+1U INF-33-31-K-5
Safety and Reliability of Embedded Systems
P 42 h 78 h - - PL1 4.0 WiSe
  • About [INF-33-31-K-5]: Title: "Safety and Reliability of Embedded Systems"; Presence-Time: 42 h; Self-Study: 78 h

Examination achievement PL1

  • Form of examination: written exam (Klausur) (60-90 Min.)
  • Examination Frequency: each winter semester
  • Examination number: 63331 ("Safety and Reliability of Embedded Systems")

Evaluation of grades

The grade of the module examination is also the module grade.


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.

Competencies / intended learning achievements

Students will be able to
  • deal with important Safety Analysis techniques (FMECA, reliability block diagrams, fault trees, Markov modeling, Petri nets, ...),
  • know practical commonly used risk acceptance procedures (MEM, GAMAB, ALARP),
  • know how to deal with stochastic reliability analysis (esp. reliability growth models),
  • determine the suitability of the various techniques in specific cases and can apply them successfully.

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 of the module (informal)

None

Requirements for attendance of the module (formal)

None

References to Module / Module Number [INF-33-31-M-5]

Course of Study Section Choice/Obligation
[EIT-88.A20-SG#2021] M.Sc. European Master in Embedded Computing Systems (EMECS) [2021] [Free Elective Area] Elective Subjects [W] Elective Module
[EIT-88.?-SG#2021] M.Sc. Embedded Computing Systems (ESY) [2021] [Free Elective Area] Elective Subjects [W] Elective Module
[INF-88.79-SG] M.Sc. Computer Science [Specialisation] Specialization 1 [WP] Compulsory Elective
[INF-88.79-SG] M.Sc. Computer Science [Specialisation] Specialization 1 [WP] Compulsory Elective
[GS-88.844-SG] M.Sc. Commercial Vehicle Technology [Compulsory Modules] Mandatory modules [P] Compulsory
[GS-88.?-SG#2022] M.Sc. Commercial Vehicle Technology 2022 [2022] [Compulsory Modules] Mandatory modules [P] Compulsory
Module-Pool Name
[INF-SE_Ba_V-MPOOL-4] Specialization Bachelor TA Software Engineering
[INF-SIAK-DT-CS-MPOOL-6] SIAK Certificate "Digital Transformation" - Modules INF "Computer Science"
[MV-MBINFO-MPOOL-6] Wahlpflichtmodule Maschinenbau mit angewandter Informatik
[MV-PE-MPOOL-6] Wahlpflichtmodule Produktentwicklung im Maschinenbau