Seminar: Faults and Failures in Safety-Critical Systems

Seminar: Faults and Failures in Safety-critical Systems

Schedule

• Seminar (Prof. Dr. Stefan Leue, Martin Kölbl)
  Thursday 13:30 - 15:00  Room PZ 901

• The first session, 27th of April, is mandatory for every student who wants to give a talk! 

Description

Contents

All the materials are available on the ilias webpage of the course. 

Participants

Bachelor and Master in Computer Science or Information Engineering standing in terms of Programming and Discrete Mathematics.

Subject Area

Informatik der Systeme / Angewandte Informatik

Contents / Syllabus

The course will be offered in English, but seminar presentations can be given in German, if so desired.

Seminar presentation (appr. 30 mins.) plus seminar report (appr. 10 pages).

Credits

SWS: 2
ECTS-points: 4

Topics

Topic 1:  “Basic Concepts and Taxonomy of Dependable and Secure Computing”

Topic 2: “Finding and Fixing Faults”

Topic 3:  "Safety analysis in process facilities: Comparison of fault tree and Bayesian network approaches”

Topic 4: “A brief account of runtime verification”

Topic 5: “Error explanation with distance metrics”

Topic 6: “Two-stage neural networks based classifier system for fault diagnosis”
SComputational Intelligence in Fault Diagnosis, Chapter 7, Palade Bocaniala

Topic 7: "Formal methods for safety assessment"
Design and Safety Assessment of Critical Systems, Chapter 3, Bozzano