Lehrstuhl Software Engineering: Dependability

Lehrstuhl Software Engineering: Dependability


Forschungsschwerpunkte

  • Dependability: safety, security, reliability, availability
  • Systems engineering of dependable embedded systems
  • Model-based safety and reliability analysis
  • Dynamic risk assessment and safety assurance under uncertainty

Aktuell

  • 04.03.2021 - SQA Klausur WS 20/21
    • Zeit: 16.03.2021; 13.00-14.30 Uhr.
    • Die Klausur findet in der Sporthalle (28-111) und im Raum 1-160 statt. Der genaue Sitzplan wird eine Woche vor der Klausur bekannt gegeben.
    • Bitte kommen Sie um 12:30 Uhr zum jeweiligen Eingang, wo wir mit dem Einlass beginnen werden. Der Beginn der Klausur ist für 13:00 Uhr vorgesehen, kann sich aber verzögern, wenn die Sitzordnung länger dauert.
    • Jeder Student muss sich einen QR-Code über INTAKE generieren lassen. Dieser wird am Eingang kontrolliert. Das Handy/Tablet oder ein anderes elektronisches Gerät muss dann für die Klausur ausgeschaltet werden.
    • Jeder Student muss seine eigene medizinische Maske oder FFP2-Maske mitbringen.

  • 04.03.2021 - QMSS Klausurergebnisse und Ensichtnahme (update3)
    Die Klausureinsicht findet am 12.03.2021 von 14.00 Uhr bis 15.00 Uhr in Raum 32-439 statt. Bitte wartet am Eingang des Gebäudes 32 (neben der Bibliothek), wir holen euch dann ab.

  • 02.03.2021 - FSE Klausur WS 20/21
    • Die Klausur findet am 05.03.2021 von 09.00 Uhr bis 10.30 Uhr in Raum 46-215 statt.
    • Sie müssen 20 Minuten vor Beginn der Klausur erscheinen.
    • Jeder Student muss einen über INTAKE generierten QR-Code haben. Dieser wird am Eingang kontrolliert.
    • Jeder Student muss seine eigene medikal Maske oder FFP2-Maske mitbringen.
    • Um an der FSE-Klausur am 05.03.2021 teilnehmen zu können, gehen Sie bitte die Pflichtvoraussetzungen durch, die erfüllt sein müssen. Sie finden hier in Material Ordner alle notwendigen Dokumente und die Informationen, die am Tag der Prüfung bekannt und erfüllt sein müssen.
  • 01.03.2021 - QMSS Klausurergebnisse und Ensichtnahme (update2)
    Die Ergebnisse für die QMSS-Klausur sind im QIS verfügbar. Details zur Klausurereinsicht werden zu einem späteren Zeitpunkt bekannt gegeben.

  • 27.02.2021 -  SRES Zweite Klausur Datum - UPDATE
    Die zweite Klausur von SRES wird dieses Jahr im Sommersemester (SS21) durchgeführt.
    Diejenigen von Ihnen, die aus gesundheitlichen Gründen, wegen Terminüberschneidungen mit anderen Prüfungen oder wegen mangelnder Vorbereitung nicht an der ersten Prüfung am 10. März teilnehmen können, können die SRES-Prüfung einfach im SS21 schreiben. Das Prüfungsschema und die Benotung sind für alle SRES-Prüfungen gleich.

  • 25.02.2021 - QMSS Klausurergebnisse und Ensichtnahme (update1)
    Aufgrund unvorhergesehener Faktoren werden die Klausurergebnisse leider erst in der nächsten Woche bekannt gegeben und die Details für die Klausureinsicht als nächstes Update mitgeteilt. Die Klausureinsicht wird nicht wie besprochen am Freitag, den 26. Februar, stattfinden. 

  • 25.02.2021 - Software Engineering Seminar für SS 2021
    Der Lehrstuhl SEDA bietet im kommenden Sommersemester kein Software Engineering Seminar an. Der AG Programmiersprachen wird im kommenden Semester ein Seminar anbieten - bitte schauen Sie im Laufe der nächsten Wochen unter:
    https://pl.cs.uni-kl.de/homepage/de/teaching/
  • 16.02.2021 - QMSS Klausur für WS 20/21
    Die QMSS-Klausur wird am 23.02.2021 von 14.00 - 15.30 Uhr in Raum 46-215 stattfinden.
  • 18.12.2020 - FSE Klausur im WS20/21
    • In diesem Wintersemester WS20/21 wird es eine FSE Klausur am 05.03.2021 von 09.00 Uhr bis 10.30 Uhr stattfinden.
    • Die Raumdetails werden Ihnen wenige Tage vor der Klausur mitgeteilt.

  • 04.11.2020 - SRES - Wichtige Informationen für Vorlesungen und Übungen im WS20/21
      • Für SRES sind im KIS keine bestimmte Termine vorgesehen, da die Vorlesung und die Übungen online über das OpenOLAT-System. Es ist daher nicht möglich, die Vorlesung über das KIS-Büro in Ihren Kalender einzutragen.
      • Für den Zugang zum Kurs ist kein Registrierungscode erforderlich. Für den Zugang verwenden Sie bitte Ihre RHRK-Zugangsdaten.
      • Um den SRES-Vorlesungs- und Übungsplan hinzuzufügen, können Sie diesen ical-Kalender-Link zu Ihrem Kalender hinzufügen: https://olat.vcrp.de/ical/course/2836234299/MM1KZm/102563792546399.ics
      • Falls Sie Fragen haben, schreiben Sie uns bitte an: haupt(at)cs.uni-kl.de
  • 03.11.2020 - SRES Vorlesungen und Übungen im WS20/21
    • Aufgrund von COVID-19 werden alle SRES-Vorlesungen auf WS20/21 nur noch digital angeboten.
    • Sowohl die Vorlesungen als auch die Übungen werden über das OpenOLAT-System organisiert. Alle kursbezogenen Ankündigungen werden dort gemacht. Für den Zugang zu OpenOLAT klicken Sie bitte hier
    • Zusätzliches Material wie Vortragsfolien und Übungsblätter und Lösungen können von OpenOLAT heruntergeladen werden.

Unsere Forschung

Forschungsschwerpunkt: Dependability

Software wird heute bereits vielfach in Anwendungsbereichen genutzt, die hohe Anforderungen an bestimmte Qualitätseigenschaften der Software stellen. Software ist in vielen Fällen Bestandteil eines Systems. Oft sind Softwarelösungen verteilt aufgebaut.....mehr

Zum Seitenanfang