Zur Webseite der Informatik

Sichere und zuverlässige Softwaresysteme

Umfang: 3V + 1Ü (van Hoorn, Pitakrat)

Stand: WS 2015/16

Klausur

Die Klausur findet nach aktuellem Stand am 8. März 2016 von 08:30-10:00 Uhr (Einlass 08:15 Uhr) im Raum V 53.01 statt.

Den tatsächlichen Termin und Raum entnehmt bitte der Liste der Prüfungstermine des Prüfungsamts bzw. dem LSF!

Abgesehen von einem nichtprogrammierbaren Taschenrechner ist ein beidseitig handschriftlich beschriebener DIN A4 Zettel als Hilfsmittel zugelassen.

An unserem Abteilungs-Pool-Raum (Raum: 1.049) haben wir die Listen mit der Übersicht wer in diesem Semester (k)eine Prüfungsberechtigung bekommt ausgehängt. Solltet ihr Fragen haben, kontaktiert uns bitte.

Vorlesung und Übung

Termine:

  • Montag,    9:45 - 11:15 Uhr, Raum V38.02
  • Dienstag,  9:45 - 11:15 Uhr, Raum V38.02

Die Übungen finden in der Regel zweiwöchentlich dienstags statt.

Terminplanung bis Semesterende (Änderungen möglich)

Montag, 9:45-- 11:15
Ort: V38.02


Thema


Dienstag, 9:45-- 11:15
Ort: V38.02


Thema

12.10.15

Vorlesung

Einführung in die zuverlässigen und sicheren Softwaresysteme

 

13.10.15

Vorlesung

Sicherheits(Safety)-Theorie

19.10.15

Vorlesung

Sicherheits(Safety)-Risikoanalysetechniken (FFA, HAZOP)

 

20.10.15

Vorlesung

Sicherheits(Safety)-Gefährdungsanalysetechniken (FTA, FMEA)

26.10.15

Vorlesung

Sicherheits(Safety)-
Systemteoretische Sicherheitsbetrachtung/ STAMP/ STPA (Prof. Stefan Wagner)

 

27.10.15

Übung

Risikoanalysetechniken

02.11.15

Vorlesung

Sicherheits(Safety)-Entwurf und Zertifizierung von sicheren Systemen (Safety)

 

03.11.15

 

– Ausgefallen –

09.11.15

Vorlesung

Zuverlässigkeit-
Theorie und -Evaluation

 

10.11.15

Übung

Gefährdungsanalysetechniken

16.11.15

Vorlesung

Zuverlässigkeit-
Hardware vs. Softwarezuverlässigkeit

 

17.11.15

Industrie-Vorlesung

Jan Philipps, Validas AG: Einführung in die ISO 26262

23.11.15

Vorlesung

Zuverlässigkeit-
Entwicklung von zuverlässigen Systemen

 

24.11.15

Industrie-Vorlesung

Rüdiger Diefenbach,  Axel Dold, Daimler AG: Sicherheitsgerichtete Entwicklung von E/E-Systemen im Automobil

30.11.15

Übung

Zuverlässigkeitstheorie

 

01.12.15

Industrie-Vorlesung

Armin Müller, itestra GmbH: Sicherheit und Zuverlässigkeit von Informationssystemen

07.12.15

Vorlesung

Sicherheits(Security)- Theorie

 

08.12.15

Übung

Zuverlässigkeits­evaluation

14.12.15

Vorlesung

Sicherheits(Security)-
Entwurf und Zertifizierung von sicheren Systemen (Security)

 

15.12.15

Industrie-Vorlesung

Aleksandar Milenkoski, Universität Würzburg: Intrusion Detection Systems

21.12.15

Übung

Sicherheit (Security)

 

22.12.15

 

– Findet nicht statt –

11.01.16

Vorlesung

Softwareperformanz-Theorie

 

12.01.16

Vorlesung Softwareperformanz-Modellierung

18.01.16

Industrie-Vorlesung

Stefan Siegl, NovaTec GmbH: Application Performance Management

 

19.01.16

Vorlesung

Softwareperformanz- Entwurf von performanten Systemen

25.01.16

Übung

Softwareperformanz

 

26.01.16

Vorlesung

Fortgeschrittene Verifikationsmethoden I

01.02.16

Vorlesung

Fortgeschrittene Verifikationsmethoden II

 

02.02.16

Vorlesung

Zusammenfassung und Q&A

 

Bitte treten Sie der Veranstaltung Sichere und zuverlässige Softwaresysteme(Winter 2015/2016) in ILIAS bei. Das Passwort zum Kursbeitritt wird in der ersten Veranstaltung bekanntgegeben.

Beschreibung und Aufbau der Lehrveranstaltung

Diese Lehrveranstaltung führt in wichtige Aspekte der Entwicklung und Prüfung von Systemen ein, bei denen Sicherheit, Performance und Zuverlässigkeit eine besondere Rolle spielt. Sicherheit wird dabei sowohl im Sinne von Informationssicherheit (Security), als auch von technischer Sicherheit (Safety) verstanden. Die Lehrveranstaltung ist so aufgebaut, dass zuerst Grundlagen zur Zuverlässigkeit und Zuverlässigkeitsbewertungsmodelle, dann spezielle Methoden zur Safety Security und Performance Analyse vorgestellt und geübt werden. Abschließen wird detailliert auf verifizierende Techniken für diese Qualitätseigenschaften eingegangen.


In diesem Jahr wird die Vorlesung teilweise als Ringvorlesung durchgeführt. Dies bedeutet, dass eine Reihe von Vorträgen aus der Industrie geplant ist, die Einblicke in die Behandlung von Zuverlässigkeit und Sicherheit in der Praxis erlauben.

Literatur

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

Voraussetzungen und Prüfung

Umfassende Kenntnisse im Software Engineering werden vorausgesetzt. Insbesondere allgemeine Qualitätssicherungsmaßnahmen sollten bekannt sein.

Für die Zulassung zur Prüfung ist ferner die Teilnahme am Übungsbetrieb verpflichtend. Pro Übungsblatt müssen im Schnitt 3 Punkte erreicht werden.

Die Lehrveranstaltung wird mit einer 90-Minuten-Klausur geprüft. Zugelassenes Hilfsmittel ist ein beidseitig handschriftlich beschriebener DIN-A4-Zettel.


Wichtig: Die Informationen über den Prüfraum und Zeit können Sie im folgenden Link finden: www.uni-stuttgart.de/pruefungsamt/formulare/pruefungstermine/

Skript, Übungsaufgaben und weitere Materialien

Alles Weitere finden Sie im entsprechenden ILIAS-Kurs.