Hasso-Plattner-Institut
Hasso-Plattner-Institut
  
Login
 

Safety-Critical Systems: From Predictable Systems to Autonomous AI (Wintersemester 2018/2019)

Dozent: Prof. Dr. Holger Giese (Systemanalyse und Modellierung) , Joachim Hänsel (Systemanalyse und Modellierung)

Allgemeine Information

  • Semesterwochenstunden: 4
  • ECTS: 6
  • Benotet: Ja
  • Einschreibefrist: 26.10.2018
  • Lehrform: Vorlesung / Übung
  • Belegungsart: Wahlpflichtmodul
  • Lehrsprache: Deutsch

Studiengänge & Module

IT-Systems Engineering MA
  • ITSE-Analyse
  • ITSE-Entwurf
  • ITSE-Konstruktion
  • ITSE-Maintenance
  • SAMT-Konzepte und Methoden
  • SAMT-Spezialisierung
  • SAMT-Techniken und Werkzeuge
Digital Health MA

Beschreibung

Today, we are surrounded by many systems in our daily life as well as an underlying infrastructure that contains complex behavior realized by software. Often these systems and infrastructures could also endanger human life or the environment and thus are safety-critical systems. Traditionally, the safety is assured by building it in during design time, rather than adding it on to a completed design. Design time incorporation of safety is achieved by building predictable systems for which the necessary safety aspects can be understood and mastered.

However, nowadays we can observe a clear trend from predictable systems to systems that can be characterized as autonomous artificial intelligence. Consequently, the existing body of work for handling safety-critical systems and their software does often not apply and novel approaches are required. The lecture will review the challenges for assuring safety for the considered systems ranging from classical predictable systems to autonomous AI and present the current state-of-the-art for developing and assure safety.

Lern- und Lehrformen

Each week two lectures will be given (90 minutes). Some of these lectures will include working on exercises.

Leistungserfassung

  • Oral exams by the end of the semester.
  • Active and successful participation in the exercises.
  • The final course grade is the oral exam grade.

Termine

ANNOUNCEMENT. The lecture on 21st of November is cancelled.

ANNOUNCMENT: The lecture on 28th of November will be in A-2.8!!!

ANNOUNCMENT: Download site for PRISM

ANNOUNCEMENT. Meeting on 8th for extended exercise discussion, lecture next year will start at 15th of January 2019

https://www.prismmodelchecker.org/download.php

Lecture: each week:

Tuesday, 13:30 – 15:00, Room A-2.2

Wednseday, 13:30 – 15:00, Room A-2.2

First lecture: 23.10.2018

Zurück