Safety and Reliability of Embedded Systems (2V+1U, 4.0 LP)
|SWS||Type||Course Form||CP (Effort)||Presence-Time / Self-Study|
|-||K||Lecture with exercise classes (V/U)||4.0 CP||78 h|
|1||U||Exercise class (in small groups)||14 h|
|(2V+1U)||4.0 CP||42 h||78 h|
|CP, Effort||4.0 CP = 120 h|
|Position of the semester||1 Sem. in WiSe|
|Level|| Master (Entry Level)|
|Area of study||[INF-SE] Software-Engineering|
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.
- 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.