11887 - Software Dependability Modulübersicht

Module Number: 11887 - Phase-out Module
Module Title:Software Dependability
Department: Faculty 1 - Mathematics, Computer Science, Physics, Electrical Engineering and Information Technology
Responsible Staff Member:
  • Prof. Dr. rer. nat. Lambers, Leen
Language of Teaching / Examination:English
Duration:1 semester
Frequency of Offer: On special announcement
Credits: 8
Learning Outcome:Students acquire an overview of methods for software dependability improvement as well as basic knowledge for their assessment from an engineers point of view. Furthermore, students gain experience in fault-tolreant programming techniques.
Contents:We start with defining suitable software assessment criteria, before gining an overview of methods which have a positive influence on software dependability; specifically we discuss fault-avoidance (constructive, analytical methods) and fault-tolerance. The focus is laid on software-implemented fault tolerance (defensive and diverse methods).
Recommended Prerequisites:Knowledge of the content of the module
  • 11884: Introduction into Concurrency
Mandatory Prerequisites:None
Forms of Teaching and Proportion:
  • Lecture / 4 Hours per Week per Semester
  • Exercise / 2 Hours per Week per Semester
  • Self organised studies / 150 Hours
Teaching Materials and Literature:Will be provided at the beginnning of the course.
Module Examination:Prerequisite + Final Module Examination (MAP)
Assessment Mode for Module Examination:Prerequisite:
  • Successful oral presentation (talk) including written report
Final module examination:
  • Written examination, 120 min. OR
  • Oral examination, 30-45 min. (with small number of participants)
In the first lecture it will be announced, if the examination will be offered in written or oral form.
Evaluation of Module Examination:Performance Verification – graded
Limited Number of Participants:None
Part of the Study Programme:
  • Abschluss im Ausland / Cyber Security / keine PO
  • Master (research-oriented) / Cyber Security / PO 2017
  • Abschluss im Ausland / Informatik / keine PO
  • Master (research-oriented) / Informatik / PO 2008 - 2. SÄ 2017
  • Master (research-oriented) / Informations- und Medientechnik / PO 2017
  • Abschluss im Ausland / Power Engineering / keine PO
  • Study programme Computer Science M. Sc.: Compulsory elective module in complex "Practical Computer Science" (level 500).
  • Study programme Information and Media Technology M. Sc.: Compulsory elective module in complex "Dependable HW/SW-Systems".
  • Study programme Cyber Security M.Sc.: Compulsory elective module in complex "Computer Science".

If there is no need that the module is taught in English, alternatively the german version 12508 "Softwarezuverlässigkeit" may be offered instead.
Modules 11887 "Software Dependability" und 12508 "Softwarezuverlässigkeit" can not be combined.

Module Components:
  • Lecture: Software Dependability
  • Accompanying exercise
  • Related examination
Components to be offered in the Current Semester:
  • no assignment
Follow-up Module/s: Phase-out module since: 20.01.2023
  • without Follow-up Module/s