Sichere und zuverlässige Softwaresysteme

Modulnummer: Q06-02
Englischer Titel: Safe and Dependable Software Systems
Leistungspunkte: 6
Lehrperson: Grunske

Empfohlene Vorkenntnisse

Grundlagenwissen in Softwaretechnik

Zwingende Voraussetzungen

keine

Inhalt

In der Veranstaltung werden grundlegende Prinzipien und Techniken vermittelt um die Zuverlässigkeit von Softwaresystemen zu verbessern und/oder zu garantieren.

Der spezielle Inhalt der Vorlesung sind Notationen und Verfahren zum Sicherheits- Performanz- und Zuverlässigkeitsnachweis und Verfahren zur Erstellung von sicheren und zuverlässigen Systemen.

Literatur:
A. Alessandro Birolini, Reliability Engineering, Springer Verlag Berlin Heidelberg 2010.
B. Nancy G. Leveson, Safeware: System Safety and Computers. Addison-Wesley, 1995.
C. Nancy G. Leveson, Engineering a Safer World: Systems Thinking Applied to Safety. MIT Press, 2011

Erforderliche Arbeitsleistungen für LP-Vergabe und Prüfungszulassung

- schriftlich eingereichte und/oder mündlich vorgetragene Lösungen zu Aufgaben

Lehrveranstaltungen

Vorlesung: 3 SWS
Übung: 1 SWS

Zugeordneter Vertiefungsschwerpunkt

Algorithmen und Modelle: nein
Modellbasierte Systementwicklung: ja
Daten- und Wissensmanagement: nein
Ohne Vertiefungsschwerpunkt: nein

Sprache im Modul

Deutsch: ja
Englisch: ja

Angeboten für Studiengänge

M. Sc.: ja
M. Ed.: ja
Wirtschaftsmaster: ja

Angeboten im

Wintersemester: nein
Sommersemester: ja

Turnus

Jedes Jahr