Functional Safety and System Dependability

Content

Software-controlled, embedded systems are ubiquitous. In cases where their behaviour and interaction with people, assets or the physical environment can lead to hazardous situations they are also safety critical: power steerings and Electronic stability programs (ESP) in vehicles, the braking system of trains, medical devices, in-flight control of airplanes, to name just a few.

There are numerous examples where wrong or unforeseen software behaviour has put lives or values at risk and even damaged them. According to the Bundesinstitut für Arzneimittel und Medizinprodukte (Federal institute for drugs and medical devices), in the years 2005-06 software faults were responsible for more risk incidence reports (22 %) than any other causal category such as design faults, physical faults, compatibility problems etc.

This lecture gives an introduction to dependability theory and to methods used in research and industry to assure, improve and assess the dependability and safety of software-controlled systems:

  • Design and analysis methods supporting the dependability and safety of embedded systems
  • Dependability/safety modelling
  • Dependability/safety measures and analyses
  • Software faults, software failure
  • Mechanisms of HW/SW fault tolerance
  • Risk analysis, risk acceptance criteria
  • Safety norms


Dates

  • Mondays 16:30-18:00 hrs (AH III)
  • Thursdays 12:30-14:00 hrs (AH III)
  • Written examination: 16 July, 14:30-16:30 (AH I/II/ BS I)
  • Retake: 20 August, 11:30-13:30 (AH II)


The first lecture of the semester takes place on Monday, 08 April 2019.

Announcements and Course Material

Announcements, slides, videos and other material can be found at the RWTHmoodle site of this course.

RWTHonline

The RWTHonline page of this course is here.

Tutor


RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany