Diese Vorlesung erfüllt die in der VDI-Richtlinie 4002-6 "Software-Zuverlässigkeit" spezifizierten Anforderungen.
Die Studierenden sind nach dem erfolgreichen Absolvieren dieses Moduls in der Lage, fundiertes Grundlagenwissen sowie anwendungsorientiertes Methoden- und Werkzeugwissen zur Entwicklung zuverlässiger Software für insbesondere sicherheitskritische Systeme zu erklären und in einfachen Fällen anzuwenden. Dies umfasst zunächst, dass die Studierenden den Fortschritt in der Informations- und Kommunikationstechnologie, deren Einsatz zur Umsetzung sicherheitskritischer Funktionen sowie gesteigerte normative Anforderungen anhand von Fallbeispielen diskutieren und Zusammenhänge zu den auch in der Presse vielbeachteten Schwierigkeiten bei der Entwicklung komplexer technischer Systeme erläutern können. Ausgehend von dieser grundlegenden Problematik können die Studierenden die Definition und die Kenngrößen der Software-Zuverlässigkeit angeben und erklären sowie anhand aktueller Beispiele deren Bezug zur funktionalen Sicherheit erläutern. Darauf aufbauend können sie die Anforderungen für die Spezifikation, Verifikation, Validierung und Zulassung von Software wiedergeben und erläutern.