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

  • 29.09.2020 - FSE Nachklausurtermin
    • Zeit: 07.10.2020; 14:30 - 16.00 Uhr.
    • Studenten mit Immatrikulationsnummern zwischen 367000 - 416000 schreiben in 42 - 115.
    • Studenten mit Immatrikulationsnummern zwischen 416000 - 418000 schreiben in 46 - 210.
  • 02.09.2020 - RE aktualisierte Prüfungsinformationen
    Bitte besuchen Sie die Seite Requirements Engineering für weitere Informationen. Hier ist der Link
    https://seda.informatik.uni-kl.de/subjects/requirements-engineering/

  • 28.08.2020 - FSE Klausurergebnis und Einsichtnahme
    • Die Ergebnisse der FSE Klausur, die am 19.08.2020 stattgefunden hat, sind jetzt im QIS verfügbar.
    • Bitte melden Sie sich an für Einsichtnahme (Link)
      • Die Anmeldefrist für die Einsichtnahme ist 02.09.2020.
    • Sobald Sie sich angemeldet haben, teilen wir Ihnen die genauen Termine zu und informieren Sie per E-Mail über die OLAT-Plattform.

     

  • 19.08.2020 - Einsichtstermin Software Development for Commercial Vehicles (SDCV)
    • Zeit: 31.08.2020; 10.00 - 10.30 Uhr.
    • Bitte per email an loewe(at)cs.uni-kl.de bis zum 26.08.2020 anmelden!
  • 18.08.2020 - Klausurtermin für FSE
    • Zeit: 19.08.2020; 09.00 - 10.30 Uhr.
    • Studenten mit Immatrikulationsnummern zwischen 384000 - 414600 schreiben in der Sporthalle (28-111).
    • Studenten mit Immatrikulationsnummern zwischen 414600 - 417100 schreiben in Mensa 3 + 4.
  • 17.08.2020 - QMSS Klausurergebnis und Einsichtnahme
    • Die Ergebnisse der QMSS Klausur, die am 23.07.2020 stattgefunden hat, sind jetzt im QIS verfügbar.
    • Bitte melden Sie sich an für Einsichtnahme (Link)
      • Die Anmeldefrist für die Einsichtnahme ist 24.08.2020.
    • Sobald Sie sich angemeldet haben, teilen wir Ihnen die genauen Termine zu und informieren Sie per E-Mail über die OLAT-Plattform.

  • 13.08.2020 - SQA Klausurergebnis und Einsichtnahme
    • Die Ergebnisse der SQA Klausur, die am 30.07.2020 stattgefunden hat, sind jetzt im QIS verfügbar.
    • Bitte melden Sie sich an für Einsichtnahme (Link)
      • Die Anmeldefrist für die Einsichtnahme ist 20.08.2020.
    • Sobald Sie sich angemeldet haben, teilen wir Ihnen die genauen Termine zu und informieren Sie per E-Mail über die OLAT-Plattform.

  • 20.07.2020 - SRES Klausur Ergebnis und Kausureinsichtnahme von SS2020
    • Klausurergebnisse sind online, bitte in QIS überprüfen.
    • Bitte melden Sie sich je nach Verfügbarkeit zu den entsprechenden Terminen an für Einsichtnahme (Link)
      • Die Anmeldefrist für der SRES einsichtnahme läuft bis zum 24.07.2020
    • Sobald Sie sich angemeldet haben, teilen wir Ihnen die genauen Termine zu und informieren Sie per E-Mail über die OLAT-Plattform
  • 12.07.2020 - Klausurtermine für QMSS und SQA
    • QMSS: 23.07.2020; 09.00 - 10.30 Uhr; Raum 46-215
    • SQA: 30.07.2020; 09.00 - 10.30 Uhr; Raum 46-215

  • 07.07.2020 - Examination dates for Requirements Engineering
    Bitte besuchen Sie die Seite Requirements Engineering für weitere Informationen. Hier ist der Link
    https://seda.informatik.uni-kl.de/subjects/requirements-engineering/

  • 06.07.2020 - Wiederholungsklausur
    • Die SRES Klausur finden am 11.07.2020 in der 42-115 (Audimax), 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.
    • Bitte lesen Sie Punkt 3.3 von "Corona-Sicherheitskonzept für schriftliche Prüfungen an der TUK"
  • 08.06.2020 - Kausureinsichtnahme für SRES und QMSS von WS 2019/20
    • Bitte melden Sie sich je nach Verfügbarkeit zu den entsprechenden Terminen an
      • Die Anmeldefrist für der SRES einsichtnahme läuft bis zum 17.06.2020
      • Die Anmeldefrist für der QMSS einsichtnahme läuft bis zum 24.06.2020
    • Sobald Sie sich angemeldet haben, teilen wir Ihnen die genauen Termine zu und informieren Sie per E-Mail über die OLAT-Plattform
  • 29.05.2020 - Wiederholungsklausur
    1.  SRES am 11.07.2020
    2.  QMSS am 23.07.2020
    3.  SQA am 30.07.2020 (in diesem Sommersemester 2020 wird nur eine Klausur angeboten)
    • Die raum Details ist noch nicht fest.
    • Bitte besuchen Sie die QIS für weitere Informationen.
  • 28.05.2020 - Wiederholungsklausur ASE / Software Development for Commercial Vehicles von Prof. Mario Trapp
    Bitte besuchen Sie die ASE/SDCV Vorlesungsseite für weitere Informationen.
  • 27.03.2020 - Aktuelle Informationen zum Lehrbetrieb und Corona
    Für aktuelle Informationen zum Lehrbetrieb und den Einschränkungen durch das Coronavirus verweisen wir auf die offizielle Seite der TUK: www.uni-kl.de/studium/im-studium/informationen-zu-corona/

  • 19.03.2020 - Alle vom SEDA-Lehrstuhl angebotenen Klausuren: Abgesagt bis 20.04.2020
    Alle Klausuren, die vom SEDA-Lehrstuhl angeboten wurden und die bis zum 20.04.2020 stattfinden sollten, werden ausfallen. Alle zukünftigen Updates werden hier auf der SEDA-Website veröffentlicht.

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