Zur Webseite der Informatik

Sichere und zuverlässige Softwaresysteme

Umfang: 3V + 1Ü (Grunske)

Stand: WS 2012/13

Vorlesung und Übung

Termine:

  • Montag,         9:45 - 11:15 Uhr, Raum V38.04
  • Donnerstag, 11:30 - 13:00 Uhr, Raum 0.108

Die Übungen finden in der Regel zweiwöchentlich donnerstags 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.04


Thema


Donnerstag, 11:30-- 13:00
Ort:
0.108


Thema

15.10.12

Vorlesung

Einführung, Grundbergriffe


18.10.12

Vorlesung

Einführung in die Zuverlässigkeitstheorie

22.10.12

Vorlesung

Zuverlässigkeits­evaluation


25.10.12

Vorlesung

Softwarezuverlässigkeit

29.10.12

Vorlesung

Fortgeschrittene Testmethoden


01.11.12

Feiertag

 

05.11.12

Vorlesung

Fortgeschrittene Testmethoden


08.11.12

Vorlesung

Entwicklung zuverlässiger System

12.11.12

Vorlesung

Fortgeschrittene Verifikationsmethoden


15.11.12

Uebung

Test und Verifikationstechniken

19.11.12

Vorlesung

Einführung in die Sicherheitstheorie (Safety)/ Systemteoretische Sicherheitsbetrachtung


22.11.12

Vorlesung

Riskoanalysetechniken (FFA,HAZOP)

26.11.12

Vorlesung

STAMP


29.11.12

Uebung

STAMP und Risikosanalysetechniken

03.12.12

Vorlesung

STPA


06.12.12

Vorlesung

Gefährdungs­analysetechniken (FTA, FMEA)

10.12.12

Vorlesung

Entwurf und Zer­tifizierung von sicheren Systemen (safety)


13.12.12

Uebung

STPA& Gefährdungs­analysetechniken

17.12.12

Vorlesung

Einführung in die Sicherheitstheorie (security)


20.12.12

Vorlesung

Entwurf und Zertifizierung von sicheren Systemen

(security)

07.01.13

Vorlesung

Ringvorlesung mit eingeladenen Experten von Industrie und Forschung

Markus Völter "C-Erweiterung"


10.01.13

Vorlesung

Ringvorlesung mit eingeladenen Experten von Industrie und Forschung

Jonathan Streit (itestra)

14.01.13

Vorlesung

Ringvorlesung mit eingeladenen Experten von Industrie und Forschung

Stephan Thesing (Eurocopter)


17.01.13

Vorlesung

entfällt

21.01.13

Vorlesung

Ringvorlesung mit eingeladenen Experten von Industrie und Forschung

Jan Philipps (Validas)


24.01.13

Vorlesung

- entfällt -

Ringvorlesung mit eingeladenen Experten von Industrie und Forschung

Jamshid Shokrollahi (Bosch)

28.01.13

Vorlesung

Ringvorlesung mit eingeladenen Experten von Industrie und Forschung

Martin Rothfelder (Siemens) "Safety Engineering: Real World vs Theory"


31.01.13

Vorlesung

- entfällt -

Ringvorlesung mit eingeladenen Experten von Industrie und Forschung

Oliver Schmid (Synatec)

04.02.13

Vorlesung

Ringvorlesung mit eingeladenen Experten von Industrie und Forschung

Bernd Müller (Bosch)


07.02.13

Vorlesung

Zusammenfassung und Q&A

Bitte treten Sie der Veranstaltung Sichere und zuverlässige Softwaresysteme(Winter 2012/2013) 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 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 Qualitätssicherungsmethoden und schließlich Methoden zur Safety und Security vorgestellt und geübt werden.

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

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.

Wichtig: Die Informationen über den Prüfraum und Zeit, können Sie im folgenden Link finden: http://www.vis.uni-stuttgart.de/lehre/pruefungen/grundlagenklausuren-der-informatik.html

Achtung:

Die SZS Nachklausur findet am 19. August 2013 statt.
Beginn der KLAUSUR 9:15 Uhr – 10:45 Uhr im Hörsaal 47.05.
Einlass ab 9:00 Uhr.

die Prüfung für SZS findet am
20. März 2013
11:00 - 13:00 Uhr
im Hörsaal 55.22 statt.

Die Prüfung ist "Open Book" und nicht-programmierbare Taschenrechner sind zugelassen.

Skript, Übungsaufgaben und weitere Materialien

Alles weitere finden Sie im entsprechenden ILIAS-Kurs.