Lehrveranstaltung: Entwicklung zuverlässiger Systeme

Home

Übersicht Lehrveranstaltungen

Lehrverantwortliche(r):

Übersicht Lehrinhalte

Einführung in die Problematik

               Motivation
               Definitionen
               Beziehungen zu anderen Lehrveranstaltungen
                           Softwaretechnik
                           Formale Methoden

Verfahren zur Bewertung der Sicherheitsrelevanz
Verfahren zur Entwicklung zuverlässiger und sicherer Systeme

                 konstruktive Verfahren
                             Verweis auf Verfahren der Softwaretechnik
                              unterstützende Maßnahmen
                                           Software Configuration Manangement
                               Gestaltung der Mensch-Maschine-Schnittstelle
                               Programmiersprachaspekte
                   Fehlererkennung
                                Testung
                                          statisch und dynamisch
                                 statistische Auswertung
                                           Zuverlässigkeitswachstumsmodelle

Fehlertoleranzverfahren
Werkzeugunterstützung
Rechtliche Probleme

Veranstaltungsangebot Wintersemester 1999/2000

Typ Intermittenz Zeit Ort Verantw.

Wird noch bekanntgegeben

V:Vorlesung, S:Seminar, P:Praktikum

Angaben vorläufig, Veränderungen sind möglich

Empfohlene Literatur

Lyu, M. R.: Handbook of Software reliability engineering; McGraw-Hill
Leveson, N.: Safeware - System Safety and Computers; Addison-Wesley
Storey, N.: Safety-critical computer systems; Addison-Wesley

AG Softwaretechnik

Typ	Intermittenz	Zeit	Ort	Verantw.
*Wird noch bekanntgegeben*
V:Vorlesung, S:Seminar, P:Praktikum