Zur Webseite der Informatik

Sichere und zuverlässige Softwaresysteme

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

Stand: WS 2013/14

Vorlesung und Übung

Termine:

  • Montag,    9:45 - 11:15 Uhr, Raum V38.02
  • Dienstag (14-täglich),  9:45 - 11:15 Uhr, Raum V38.02
  • Donnerstag (14-täglich), 15:45 - 17:15 Uhr, Raum V38.04

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

Achtung:

Die Klausur findet am 18. August 2014
von 11:30 Uhr bis 13:00 Uhr im Hörsaal 57.05 statt. Einlass ab 11:20 Uhr.

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

14.10.13

Vorlesung

Entfällt da Erstsemestereinführung

 

15.10.13

Vorlesung

Einführung in die Zuverlässigen und Sicheren Softwaresystem

21.10.13

Vorlesung

Zuverlässigkeitstheorie

 

22.10.13

Vorlesung

Zuverlässigkeits­evaluation

28.10.13

Vorlesung

Hardware vs. Softwarezuverlässigkeit

 

29.10.13 (Di!)

Ring-Vorlesung

Jonathan Streit, Sicherheit und Zuverlässigkeit von Informationssystemen, itestra

04.11.13

Vorlesung

Entwicklung von zuverlässigen Systemen

 

05.11.13

Übung

Zuverlässigkeitstheorie und Zuverlässigkeits­evaluation

11.11.13

Vorlesung

Einführung in die Sicherheitstheorie (Safety)/ Systemteoretische Sicherheitsbetrachtung/ STAMP/ STPA (Prof. Stefan Wagner)

 

14.11.13 (15:45 - 17:15, Raum V38.01)

Ring-Vorlesung

Stephan Thesing, Safety in Avionics SW Development,
EADS, Eurocopter

18.11.13

Vorlesung

Riskoanalysetechniken (FFA, HAZOP)

 

26.11.13 (!1 Woche später)

Übung

Softwaresicherheit: STAMP und Risikoanalysetechniken

25.11.13

Vorlesung

Gefährdungsanalysetechniken (FTA, FMEA)

 

28.11.13 (15:45 - 17:15, Raum V38.01)

Ring-Vorlesung

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

02.12.13

Vorlesung

Entwurf und Zertifizierung von sicheren Systemen (Safety)

 

03.12.13

Übung

Softwaresicherheit:  STPA und Gefährdungs-analysetechniken

09.12.13

Vorlesung

Softwareperformanz-Theorie

 

10.12.13

Vorlesung

Softwareperformanz-Engineering

16.12.13

Übung

Softwareperformanz

 

17.12.13

Ring-Vorlesung

Stefan Siegl, Application Performance Management,
NovaTec GmbH

06.01.14

 

Feiertag

Keine Vorlesung

 

07.01.14

Ring-Vorlesung

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

13.01.14

Vorlesung

Sicherheits(Security)- Theorie

 

14.01.14

Vorlesung

Sicherheits(Security)- Engineering

20.01.14

Vorlesung

Fortgeschrittene Verifikationsmethoden

 

21.01.14

Ring-Vorlesung

Kai Höfig, Safety Engineering for Productlines – Certification Effort in the Plant Business Area, Siemens CT

27.01.14

Vorlesung

Fortgeschrittene Verifikationsmethoden

 

28.01.14

Übung

Test- und Verifikationstechniken

03.02.14

Vorlesung

Zusammenfassung und Q&A

 

 

 

 

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