WS2020/21
SRES, B/M, 2V+1Ü, WS (E)
Lernziele der Vorlesung
- Beherrschung spezieller formaler und stochastischer Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme
- Kenntnisse zur Anwendung einschlägiger Analyseverfahren in der Praxis
Inhalt der Vorlesung
Sicherheit und Zuverlässigkeit sind bei Software-Anwendungen im technischen Bereich im Regelfall besonders wichtige Qualitätsmerkmale. In vielen Anwendungsbereichen — z.B. Schienenfahrzeuge, Avionik, Automobiltechnik, Medizintechnik — kann ein Softwarefehlverhalten Menschenleben gefährden. Daher sind vor der Inbetriebsetzung derartiger Systeme z.B. Sicherheitsnachweise zu führen. Diese müssen naturgemäß vollständig sein oder mindestens nachweisen, dass ein tolerierbares Restrisiko nicht überschritten wird.
Es werden aktuelle Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme dargestellt. Neben der Identifikation und der Bewertung von Risiken wird die Akzeptanz von Risiken betrachtet.
Organisatorisches
Dozent
Prof. Dr.-Ing. Peter Liggesmeyer
Raum 32-425
Kontakt: Bitte wenden Sie sich an das Sekretariat Caroline Frey
Vorlesungsbetreuung und Übung
Falls Sie Fragen zur Vorlesung, zu den Übungen oder anderen organisatorischen Aspekten haben, können Sie sich gerne an uns in Kontakt setzen.
Nikita Bhardwaj Haupt
Email: haupt(at)cs.uni-kl.de
Raum: 32-429
Anil Ranjitbhai Patel
Email: patel(at)cs.uni-kl.de
Raum: 32-435
Veranstaltungen
- Die Veranstaltung SRES besteht aus 2 SWS Vorlesung und 1 SWS Übung.
- Aufgrund von COVID-19 wird die SRES-Vorlesung im WS20/21 zunächst nur digital angeboten. Vorlesungsaufzeichnungen der verschiedenen Kapitel werden unter diesem Link verfügbar sein.
- Die Vorlesung und die Übung werden über das OpenOLAT-System organisiert. Dort geben wir auch Ankündigungen bekannt. Bitte hier klicken.
- Zusätzliches Material wie Vorlesungsskripte und Übungen können ebenfalls über das OpenOLAT-System heruntergeladen werden.
Einträge im KIS-System
Zusätzliche Information
- Im KIS sind für diese Vorlesung keine bestimmten Termine vorgesehen, da die Vorlesung und ihre Übungen online durchgeführt werden. Sie können die Vorlesung daher nicht über das KIS-Office in Ihren Kalender eintragen.
- Um den Online-Vorlesungs- und Übungsplan in Ihren Kalender einzutragen, können Sie den Link ical-Kalender auf der OLAT-Seite der Lehrveranstaltung verwenden.
WS 2019/20
Lernziele der Vorlesung
- Beherrschung spezieller formaler und stochastischer Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme
- Kenntnisse zur Anwendung einschlägiger Analyseverfahren in der Praxis
Inhalt der Vorlesung
Sicherheit und Zuverlässigkeit sind bei Software-Anwendungen im technischen Bereich im Regelfall besonders wichtige Qualitätsmerkmale. In vielen Anwendungsbereichen — z.B. Schienenfahrzeuge, Avionik, Automobiltechnik, Medizintechnik — kann ein Softwarefehlverhalten Menschenleben gefährden. Daher sind vor der Inbetriebsetzung derartiger Systeme z.B. Sicherheitsnachweise zu führen. Diese müssen naturgemäß vollständig sein oder mindestens nachweisen, dass ein tolerierbares Restrisiko nicht überschritten wird.
Es werden aktuelle Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme dargestellt. Neben der Identifikation und der Bewertung von Risiken wird die Akzeptanz von Risiken betrachtet.
Material
- Materialien zur Vorlesung und Übung
Auf dieser Seite finden Sie begleitend zusätzliches Material zur Vorlesung (Vortragsfolien etc.) und zu den Übungen (Übungsaufgaben).
- Literatur zur Vorlesung
Auf dieser Seite finden Sie Literaturangaben zur Vorlesung.
Organisatorisches
Dozent
Prof. Dr.-Ing. Peter Liggesmeyer
Raum 32-425
Kontakt: Bitte wenden Sie sich an das Sekretariat Caroline Frey
Veranstaltungen
Die Veranstaltung SRES besteht aus 2 SWS Vorlesung und 1 SWS Übung.
- Vorlesung:
Umfang 2 SWS - Termin wöchentlich:
Mi, 13:45 - 15:15 Uhr, Raum 42-110
Die erste Vorlesung ist am 30. Oktober 2019. - Übungen:
Umfang 1 SWS - Termin alle zwei Wochen:
Do, 13:45 - 15:15 Uhr, Raum 42-110
Der Termin der ersten Übung wird noch bekannt gegeben.
Vorlesungsbetreuung und Übung
Felix Möhrle
Raum: 32-433
Telefon: (0631) 205-3367
Sprechstunde: nach Vereinbarung
Anil Ranjitbhai Patel
Raum: 32-435
Telefon: (0631) 205-3334
Sprechstunde: nach Vereinbarung
Einträge im KIS-System
Ankündigungen
05.12.2019 - SRES Übungen
Der zweite Übungstermin findet am Do, 05. Dezember 2019.
27.11.2019 - Vorlesung entfällt
Am 27. November 2019 findet keine SRES Vorlesung statt.
21.11.2019 - Beginn der Übungen
Der erste Übungstermin findet statt am Do, 21. November 2019.
30.10.2019 - Vorlesungsbeginn
Der erste Vorlesungstermin findet statt am Mi, 30. Oktober 2019.
Prüfung
Die Klausuren finden voraussichtlich statt am:
- 11.03.2020 in der Sporthalle (48-111), Beginn 14:00 Uhr
und
- 01.04.2020 in den Räumen 46-210 und 46-215, Beginn 13:30 Uhr
Die Klausurdauer ist jeweils 90 Minuten.
Die folgenden Hilfsmittel sind erlaubt:
- Ein nichtprogrammierbarer Taschenrechner
- Ein zweiseitig beschriebenes oder bedrucktes Blatt in Größe DIN-A4 mit eigenen Notizen
- Ein Sprachwörterbuch ohne Notizen
Bitte denken Sie daran, einen gültigen Studierendenausweis mitzubringen. Sollte dieser kein Bild enthalten, so bringen Sie bitte zusätzlich Ihren Personalausweis oder Reisepass mit.
WS 2018/19
Lernziele der Vorlesung
- Beherrschung spezieller formaler und stochastischer Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme
- Kenntnisse zur Anwendung einschlägiger Analyseverfahren in der Praxis
Inhalt der Vorlesung
Sicherheit und Zuverlässigkeit sind bei Software-Anwendungen im technischen Bereich im Regelfall besonders wichtige Qualitätsmerkmale. In vielen Anwendungsbereichen — z.B. Schienenfahrzeuge, Avionik, Automobiltechnik, Medizintechnik — kann ein Softwarefehlverhalten Menschenleben gefährden. Daher sind vor der Inbetriebsetzung derartiger Systeme z.B. Sicherheitsnachweise zu führen. Diese müssen naturgemäß vollständig sein oder mindestens nachweisen, dass ein tolerierbares Restrisiko nicht überschritten wird.
Es werden aktuelle Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme dargestellt. Neben der Identifikation und der Bewertung von Risiken wird die Akzeptanz von Risiken betrachtet.
Material
- Materialien zur Vorlesung und Ubung
Auf dieser Seite finden Sie begleitend zusätzliches Material zur Vorlesung (Vortragsfolien etc.) und zu den Übungen (Übungsaufgaben). - Literatur zur Vorlesung
Auf dieser Seite finden Sie Literaturangaben zur Vorlesung.
Organisatorisches
Dozent
Prof. Dr.-Ing. Peter Liggesmeyer
Raum 32-425
Kontakt: Bitte wenden Sie sich an das Sekretariat Caroline Frey
Veranstaltungen
Die Veranstaltung SuZe besteht aus 2 SWS Vorlesung und 1 SWS Übung.
- Vorlesung:
Umfang 2 SWS - Termin wöchentlich:
Mi, 13:45 - 15:15 Uhr, Raum 42-110
Die erste Vorlesung ist am 24. Oktober 2018. - Übungen:
Umfang 1 SWS - Termin alle zwei Wochen:
Do, 13:45 - 15:15 Uhr, Raum 42-110
Erste Übung: 22. November 2018.
Vorlesungsbetreuung
Nikita Bhardwaj Haupt
Raum: 32/435
Telefon: (0631) 205-3334
Sprechstunde: nach Vereinbarung
Einträge im KIS-System
Ankündigungen
15.03.2019 - SRES Ergebnisse und Einsichtnahme
Die Ergebnisse der SRES-Klausur vom 06.03.2019 sind im QIS verfügbar. Die Einsichtnahme findet am Dienstag, 19.03.2019, ab 08:15 - 09:45 Uhr im Raum 32-439 statt.
02.01.2019 - Vorlesung SRES
Es gibt keine Vorlesung am 02. Januar 2019
20.12.2018 - Übung SRES
Es gibt keine Übung am 20. Dezember 2018
28.11.2018 - Vorlesung SRES
Es gibt keine Vorlesung am 28. November 2018
14.11.2018 - Vorlesung SRES
Es gibt keine Vorlesung am 14. November 2018
31.10.2018 - Vorlesung SRES
Es gibt keine Vorlesung am 31.10.18
Prüfung
Die Termine der Klausur sind: 06.03.2019 in der Sporthalle (Raum 28-111), Beginn 14:00 Uhr oder 27.03.2019 in Raum 46-215, Beginn 13:30 Uhr
Die Klausur dauert 90 Minuten. Einlass ist jeweils 15 Minuten vorher.
Die folgenden Hilfsmittel sind erlaubt:
- Ein nichtprogrammierbarer Taschenrechner
- Ein zweiseitig beschriebenes oder bedrucktes Blatt in Größe DIN-A4
- Ein Sprachwörterbuch ohne Notizen
Bringen Sie einen gültigen Studierendenausweis mit und, sollte dieser kein Bild von Ihnen führen, einen Personalausweis oder Reisepass!
Alle Ankündigungen werden auch auf der SEDA Startseite bekanntgegeben.
WS 2017/18
Lernziele der Vorlesung
- Beherrschung spezieller formaler und stochastischer Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme
- Kenntnisse zur Anwendung einschlägiger Analyseverfahren in der Praxis
Inhalt der Vorlesung
Sicherheit und Zuverlässigkeit sind bei Software-Anwendungen im technischen Bereich im Regelfall besonders wichtige Qualitätsmerkmale. In vielen Anwendungsbereichen — z.B. Schienenfahrzeuge, Avionik, Automobiltechnik, Medizintechnik — kann ein Softwarefehlverhalten Menschenleben gefährden. Daher sind vor der Inbetriebsetzung derartiger Systeme z.B. Sicherheitsnachweise zu führen. Diese müssen naturgemäß vollständig sein oder mindestens nachweisen, dass ein tolerierbares Restrisiko nicht überschritten wird.
Es werden aktuelle Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme dargestellt. Neben der Identifikation und der Bewertung von Risiken wird die Akzeptanz von Risiken betrachtet.
Material
- Materialien zur Vorlesung und Übung
Auf dieser Seite finden Sie begleitend zusätzliches Material zur Vorlesung (Vortragsfolien etc.) und zu den Übungen (Übungsaufgaben). - Literatur zur Vorlesung
Auf dieser Seite finden Sie Literaturangaben zur Vorlesung.
Organisatorisches
Dozent
Prof. Dr.-Ing. Peter Liggesmeyer
Raum 32-425
Kontakt: Bitte wenden Sie sich an das Sekretariat Caroline Frey
Veranstaltungen
Die Veranstaltung SuZe besteht aus 2 SWS Vorlesung und 1 SWS Übung.
- Vorlesung:
Umfang 2 SWS - Termin wöchentlich:
Mi, 13:45 - 15:15 Uhr, Raum 42-110
Die erste Vorlesung ist am 25. Oktober 2017. - Übungen:
Umfang 1 SWS - Termin alle zwei Wochen:
Do, 13:45 - 15:15 Uhr, Raum 42-110
Erste Übung: 16. November 2017.
Vorlesungsbetreuung
Nikita Bhardwaj Haupt
Raum: 32/435
Telefon: (0631) 205-3334
Sprechstunde: nach Vereinbarung
Einträge im KIS-System
Ankündigungen
27.04.2018 - SRES nachklausur Ergebnisse
Die Einsichtnahme für SRES nachklausur findet am 27.04. im Raum 32-439 statt.
12.03.2018 - SRES Klausur Ergebnisse
Die Einsichtnahme für SRES nachklausur findet am 12.03. im Raum 32-426 statt.
31.01.2018 - Vorlesung SRES
Es gibt keine Vorlesung am 31.01.18.
Alle Ankündigungen werden auch auf der SEDA Startseite bekanntgegeben.
Prüfung
Die Termine der Klausur sind: 07.03.2018 in der Sporthalle (Raum 28-111), Beginn 14:00 Uhr oder 28.03.2018 in Raum 46-215, Beginn 13:30 Uhr
Die Klausur dauert 90 Minuten. Einlass ist jeweils 15 Minuten vorher.
Die folgenden Hilfsmittel sind erlaubt:
- Ein nichtprogrammierbarer Taschenrechner
- Ein zweiseitig beschriebenes oder bedrucktes Blatt in Größe DIN-A4
- Ein Sprachwörterbuch ohne Notizen
Bringen Sie einen gültigen Studierendenausweis mit und, sollte dieser kein Bild von Ihnen führen, einen Personalausweis oder Reisepass!
WS 2016/17
Lernziele der Vorlesung
- Beherrschung spezieller formaler und stochastischer Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme
- Kenntnisse zur Anwendung einschlägiger Analyseverfahren in der Praxis
Inhalt der Vorlesung
Sicherheit und Zuverlässigkeit sind bei Software-Anwendungen im technischen Bereich im Regelfall besonders wichtige Qualitätsmerkmale. In vielen Anwendungsbereichen — z.B. Schienenfahrzeuge, Avionik, Automobiltechnik, Medizintechnik — kann ein Softwarefehlverhalten Menschenleben gefährden. Daher sind vor der Inbetriebsetzung derartiger Systeme z.B. Sicherheitsnachweise zu führen. Diese müssen naturgemäß vollständig sein oder mindestens nachweisen, dass ein tolerierbares Restrisiko nicht überschritten wird.
Es werden aktuelle Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme dargestellt. Neben der Identifikation und der Bewertung von Risiken wird die Akzeptanz von Risiken betrachtet.
Material
- Materialien zur Vorlesung und Übung
Auf dieser Seite finden Sie begleitend zusätzliches Material zur Vorlesung (Vortragsfolien etc.) und zu den Übungen (Übungsaufgaben). - Literatur zur Vorlesung
Auf dieser Seite finden Sie Literaturangaben zur Vorlesung.
Organisatorisches
Dozent
Prof. Dr.-Ing. Peter Liggesmeyer
Raum 32-425
Kontakt: Bitte wenden Sie sich an das Sekretariat Caroline Frey
Veranstaltungen
Die Veranstaltung SuZe besteht aus 2 SWS Vorlesung und 1 SWS Übung.
- Vorlesung:
Umfang 2 SWS - Termin wöchentlich:
Mi, 13:45 - 15:15 Uhr, Raum 42-110
Die erste Vorlesung ist am 26. Oktober 2016. - Übungen:
Umfang 1 SWS - Termin alle zwei Wochen:
Do, 13:45 - 15:15 Uhr, Raum 42-110
Erste Übung: 17. November 2016.
Vorlesungsbetreuung
Nikita Bhardwaj
Raum: 32/435
Telefon: (0631) 205-3334
Sprechstunde: nach Vereinbarung
Einträge im KIS-System
Ankündigungen
- 03.05.2017 - SRES-II Ergebnisse und Einsichtnahme
Die vorläufigen Ergebnisse der SRES-nachklausur sind im QIS verfügbar. Die Einsichtnahme ist am 05.05.2017 von 08:30 - 09:30 Uhr in Raum 32-439.
28.03.2017 - Klausureinsicht SRES
Die Einsichtnahme ist am 28.03.17 in Raum 32-439 ab 9:00 bis 11:00.
01.02.2017 - Vorlesung SRES
Es gibt keine Vorlesung am 01.02.17.
04.01.2017 - Vorlesung SRES
Es gibt keine Vorlesung am 04.01.17.
16.11.2016 - Vorlesung SRES
Die Vorlesung SRES am 16.11.16 fällt aus.
17.11.2016 - Übung SRES
Die erste Übung ist am 17.11.16
02.11.2016 - Vorlesung SRES
Die Vorlesung SRES am 02.11.16 fällt aus.
Alle Ankündigungen werden auch auf der SEDA Startseite bekanntgegeben.
Prüfung
Die Termine der Klausur sind: 08.03.2017 in der Sporthalle (Raum 28-111), Beginn 14:30 Uhr oder 11.04.2017 in Raum 46-215, Beginn 09:30 Uhr
Die Klausur dauert 90 Minuten. Einlass ist jeweils 15 Minuten vorher.
Die folgenden Hilfsmittel sind erlaubt:
- Ein nichtprogrammierbarer Taschenrechner
- Ein zweiseitig beschriebenes oder bedrucktes Blatt in Größe DIN-A4
- Ein Sprachwörterbuch ohne Notizen
Bringen Sie einen gültigen Studierendenausweis mit und, sollte dieser kein Bild von Ihnen führen, einen Personalausweis oder Reisepass!
WS 2015/16
Lernziele der Vorlesung
- Beherrschung spezieller formaler und stochastischer Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme
- Kenntnisse zur Anwendung einschlägiger Analyseverfahren in der Praxis
Inhalt der Vorlesung
Sicherheit und Zuverlässigkeit sind bei Software-Anwendungen im technischen Bereich im Regelfall besonders wichtige Qualitätsmerkmale. In vielen Anwendungsbereichen — z.B. Schienenfahrzeuge, Avionik, Automobiltechnik, Medizintechnik — kann ein Softwarefehlverhalten Menschenleben gefährden. Daher sind vor der Inbetriebsetzung derartiger Systeme z.B. Sicherheitsnachweise zu führen. Diese müssen naturgemäß vollständig sein oder mindestens nachweisen, dass ein tolerierbares Restrisiko nicht überschritten wird.
Es werden aktuelle Techniken zur Sicherheits- und Zuverlässigkeitsanalyse für Software und Systeme dargestellt. Neben der Identifikation und der Bewertung von Risiken wird die Akzeptanz von Risiken betrachtet.
Material
- Materialien zur Vorlesung und Übung
Auf dieser Seite finden Sie begleitend zusätzliches Material zur Vorlesung (Vortragsfolien etc.) und zu den Übungen (Übungsaufgaben). - Literatur zur Vorlesung
Auf dieser Seite finden Sie Literaturangaben zur Vorlesung.
Organisatorisches
Dozent
Prof. Dr.-Ing. Peter Liggesmeyer
Raum 32-425
Kontakt: Bitte wenden Sie sich an das Sekretariat Caroline Frey
Veranstaltungen
Die Veranstaltung SuZe besteht aus 2 SWS Vorlesung und 1 SWS Übung.
- Vorlesung:
Umfang 2 SWS - Termin wöchentlich:
Mi, 13:45 - 15:15 Uhr, Raum 42-110
Die erste Vorlesung ist am 4. November 2015. - Übungen:
Umfang 1 SWS - Termin alle zwei Wochen:
Do, 13:45 - 15:15 Uhr, Raum 42-110
Erste Übung: 26.11.15
Vorlesungsbetreuung
Michael Roth
Raum: 32/429
Telefon: (0631) 205-2629
Sprechstunde: nach Vereinbarung
Einträge im KIS-System
Ankündigungen
- 19.04.2016 - SRES Einsichtnahme
Die Einsichtnahme ist am 22.04.2016 ab 08:15 in Raum 32-439. - 11.03.2016 - SRES Einsichtnahme
Die Einsichtnahme der SRES Klausur ist am 17.03.2016 ab 10:00 Uhr in Raum 32-439. - 21.12.2015 - Vorlesung SRES
Die Vorlesung SRES am 06.01.16 fällt aus. - 04.11.2015 - Vorlesung SRES
Die Vorlesung SRES am 18.11.15 fällt aus. - 30.10.2015 - Erste Übung SRES
Die erste Übung findet am 26.11.15 statt. - 11.09.2015 - Erste Vorlesung SRES
Die erste Vorlesung in SRES findet am 04.11.15 statt.
Alle Ankündigungen werden auch auf der SEDA Startseite bekanntgegeben.
Prüfung
Die Termine der Klausur sind: 09.03.2016 in Raum 01-106, Beginn 14:30 Uhr oder 12.04.2016 in Raum 52-207, Beginn 10:00 Uhr
Die Klausur dauert 90 Minuten. Einlass ist jeweils 15 Minuten vorher.
Die folgenden Hilfsmittel sind erlaubt:
- Ein nichtprogrammierbarer Taschenrechner
- Ein zweiseitig beschriebenes oder bedrucktes Blatt in Größe DIN-A4
- Ein Sprachwörterbuch ohne Notizen
Bringen Sie einen gültigen Studierendenausweis mit und, sollte dieser kein Bild von Ihnen führen, einen Personalausweis oder Reisepass!