Endowed professorship for reliable software systems in the automotive industry

Ausgewählte Kapitel der Algorithmischen Verifikation

  • type: Seminar (S)
  • semester: WS 18/19
  • time: 19.10.2018
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


    26.10.2018
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    02.11.2018
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    09.11.2018
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    16.11.2018
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    23.11.2018
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    30.11.2018
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    07.12.2018
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    14.12.2018
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    21.12.2018
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    11.01.2019
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    18.01.2019
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    25.01.2019
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    01.02.2019
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

    08.02.2019
    11:30 - 13:00 wöchentlich
    50.34 Raum -119
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


  • lecturer: Prof. Dr. Carsten Sinz
  • sws: 2
  • lv-no.: 2400092
Beschreibung

Viele sicherheitskritische Systeme sind inzwischen Software-gesteuert und Software-Korrektheit daher essentiell. Andererseits ist es praktisch unmöglich, Eigenschaften eines Systems zu garantieren und die Abwesenheit von Fehlern durch Standard-Softwareengineering-Praktiken wie Code-Review, systematisches Testen und gutes Software-Design allein zu erreichen.

Im Bereich der Formalen Methoden sind jedoch inzwischen verschiedene mathematische Techniken und Werkzeuge verfügbar, die eine automatische Analyse von Systemen und Software ermöglichen.

Die Anwendung dieser vollautomatischen Techniken wird typischerweise algorithmische Verifikation genannt.

In diesem Seminar sollen aktuelle Arbeiten zur algorithmischen Verifikation behandelt werden, insbesondere neue Algorithmen und deren Implementation in vollautomatischen Software-Analyse-Werkzeugen. Es sollen auch Beispiele diskutiert werden, in denen diese Techniken erfolgreich angewandt wurden.

Lehrinhalt

Fachlich soll dieses Seminar Studierende in die Lage versetzen, vollautomatische Verifikationstechniken und die dahinterstehenden Algorithmen in der eigenen Entwicklungstätigkeit einzusetzen und einen Nachweis der Korrektheit von Programmen zu führen.

Neben den inhaltlichen Aspekten sowie Techniken des wissenschaftlichen Arbeitens werden in dieser Veranstaltung auch Schlüsselqualifikationen wie Literaturrecherche und Präsentationstechniken vermittelt.

Arbeitsbelastung

90h = 3 ECTS