Zur Webseite der Informatik

Sichere und zuverlässige Softwaresysteme

Umfang: 3V + 1Ü (Grunske, Massini)

Stand: WS 2014/15

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.

Achtung:

Die Klausur findet am 17. März 2015 um 08:30-10:00 (Einlass 08:15) in Raum V 47.02 statt.

Bitte prüft regelmäßig die Informationen in der Liste der Prüfungstermine des Prüfungsamts bzw. im LSF.

Open Book Klausur: Alle Dokumente und Bücher, sowie ein nicht programmierbarer Taschenrechner sind erlaubt.

Bitte melden Sie die Prüfung an. Ohne Anmeldung kein Prüfungsanspruch.

Terminplanung bis Semesterende (Änderungen möglich)

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


Thema


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


Thema

13.10.14

Vorlesung

Einführung in die zuverlässigen und sicheren Softwaresystem

 

14.10.14

Vorlesung

Sicherheits(Safety)-Theorie

20.10.14

Vorlesung

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

 

21.10.14

Vorlesung

Sicherheits(Safety)-Riskoanalysetechniken (FFA, HAZOP)

27.10.14

Vorlesung

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

 

28.10.14

Übung

Risikoanalysetechniken

03.11.14

Vorlesung

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

 

04.11.14

Industrie-Vorlesung

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

10.11.14

Vorlesung

Zuverlässigkeit-
Theorie

 

11.11.14

Übung

Gefährdungs-analysetechniken

17.11.14

Vorlesung

Zuverlässigkeit-
Evaluation

 

18.11.14

Industrie-Vorlesung

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

24.11.14

Vorlesung

Zuverlässigkeit-
Hardware vs. Softwarezuverlässigkeit

 

25.11.14

Übung

Zuverlässigkeitstheorie

01.12.14

Vorlesung

Zuverlässigkeit-
Entwicklung von zuverlässigen Systemen

 

02.12.14

Industrie-Vorlesung

Stephan Thesing, Safety in Avionics SW Development,
EADS, Airbus Helicopter

08.12.14

Vorlesung

Sicherheits(Security)- Theorie

 

09.12.14

Übung

Zuverlässigkeits­evaluation

15.12.14

Vorlesung

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

 

16.12.14

Industrie-Vorlesung

Kai Höfig, Safety Engineering for Critical Architectures, Siemens AG Abteilung CT

05.01.15

Frei

Weihnachtsferien

 

06.01.15

Frei

Weihnachtsferien

12.01.15

Vorlesung

Softwareperformanz-Theorie

 

13.01.15

Industrie-Vorlesung

- fällt aus

Jamshid Shokrollahi, Die TPM Technologie (Trusted Computing Platform) und seine Rolle für den Schutz der Software,
Robert Bosch GmbH

19.01.15

Vorlesung

Softwareperformanz-Modellierung

 

20.01.15

Industrie-Vorlesung

Stefan Siegl, Application Performance Management, NovaTec GmbH

26.01.15

Vorlesung

Softwareperformanz- Entwurf von performanten Systemen

 

27.01.15

Übung

Softwareperformanz

02.02.15

Vorlesung

Fortgeschrittene Verifikationsmethoden

 

03.02.15

Vorlesung

Fortgeschrittene Verifikationsmethoden

09.02.15

Vorlesung

Fortgeschrittene Verifikationsmethoden

 

10.02.15

Vorlesung

Zusammenfassung und Q&A

Bitte treten Sie der Veranstaltung Sichere und zuverlässige Softwaresysteme(Winter 2014/2015) 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.

Die Lehrveranstaltung wir mit einer 90-Minuten-Klausur geprüft.

Es handelt sich um eine
Open Book Klausur: Alle Dokumente und Bücher, sowie ein nicht programmierbarer Taschenrechner sind erlaubt.

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.