Prof. Dr. Liggesmeyer, 1 Software Engineering: Dependability Prof. Dr.-Ing. Peter Liggesmeyer

Prof. Dr. Liggesmeyer, 2 Ausrichtung der AG Software Engineering für technische Systeme Sicherheit, Zuverlässigkeit, Verfügbarkeit Forschungsschwerpunkt: Konstruktion und Prüfung eingebetteter Systeme im Hinblick auf Korrektheit, Sicherheit und Zuverlässigkeit => Bewertung und Minimierung von Risiken

Prof. Dr. Liggesmeyer, 3 Motivation

Prof. Dr. Liggesmeyer, 4 Ausgewählte Forschungsarbeiten Sicherheits- und Zuverlässigkeitsmodellierung verteilter Echtzeitsysteme: Werkzeug

Prof. Dr. Liggesmeyer, 5 Ausgewählte Forschungsarbeiten Stochastische Analyse von Software-Zuverlässigkeit Reliability Assessment Tool (RATplus)

Prof. Dr. Liggesmeyer, 6 Ausgewählte Forschungsarbeiten Diagnose verteilter Systeme

Prof. Dr. Liggesmeyer, 7 Beteiligung an grundlegenden Lehrveranstaltungen Software-Entwicklung II (im SS) Den Schwerpunkt der Lehrveranstaltung bildet die ausführliche Behandlung von elementaren Verfahren, Techniken und Notationen für Software. Insbesondere führt sie in Techniken und Notationen der modulübergreifenden Softwareentwicklung ein. Die Studierenden erlernen Basistechniken, die die Grundlage des modernen Software Engineering bilden. Projekt zu Grundlagen des Software Engineering (im SS) Einübung der Prinzipien, Methoden und Werkzeuge zur ingenieurmäßigen Entwicklung ''großer'' Softwaresysteme anhand konkreter Aufgabenstellungen; Abdeckung aller wichtigen Phasen der Softwareentwicklung: Nutzung ''konstruktiver'' und ''analytischer'' Aspekte der Softwareentwicklung sowie automatischer Werkzeuge.

Prof. Dr. Liggesmeyer, 8 Weiterführende Lehrveranstaltungen Sicherheit und Zuverlässigkeit eingebetteter Systeme (im WS) Beherrschung spezieller formaler und stochastischer Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme, Kenntnisse zur Anwendung einschlägiger Analyseverfahren in der Praxis (ggf. in Englisch) Software-Qualitätssicherung (im WS jedes 2. Jahr) Diese Vorlesung vermittelt den Teilnehmern vertiefende Kenntnisse, die für erfolgreiche Software-Qualitätssicherung benötigt werden Die Lehrveranstaltung vermittelt Techniken mit unterschiedlichen Formalitätsgraden. Die Studierenden erwerben die Fähigkeit, diese Techniken zu bewerten, für eine konkrete Situation auszuwählen und einzusetzen (ggf. in Englisch). Qualitätsmanagement von Software und Systemen (im WS jedes 2. Jahr) Die Studierenden lernen die technischen Inhalte und die möglichen Organisationsformen des Qualitätsmanagements kennen. Darüber hinaus sind Sie in der Lage, die unterschiedlichen Ansätze zu bewerten und im Sinne eines Qualitätsmanagementsystems zusammenzufügen (ggf. in Englisch). Seminare