Website
Modulhandbuch vor WS 2014/15

Modul CS4137

Runtime Verification (vor 2014) (RV)

Dauer:
1 Semester
Angebotsturnus:
Wird nicht mehr angeboten
Leistungspunkte:
4
Studiengang, Fachgebiet und Fachsemester:
  • Master Informatik vor 2014 (Wahlpflicht), Anwendungsfach IT-Sicherheit und Zuverlässigkeit, 1. oder 2. Fachsemester
  • Master Informatik vor 2014 (Wahlpflicht), Schwerpunktfach Software Systems Engineering, 2. oder 3. Fachsemester
  • Master Informatik vor 2014 (Wahlpflicht), Vertiefungsblock Programmierung, 2. oder 3. Fachsemester
Lehrveranstaltungen:
  • Runtime Verification (Übung, 1 SWS)
  • Runtime Verification (Vorlesung, 2 SWS)
Workload:
  • 15 Stunden Prüfungsvorbereitung
  • 60 Stunden Selbststudium und Aufgabenbearbeitung
  • 45 Stunden Präsenzstudium
Lehrinhalte:
  • Qualitätsaspekte von Softwaresystemen
  • Analyse- und Verifikationstechniken für Softwaresysteme
  • Spezifikation von Korrektheitseigenschaften
  • Synthese von Monitoren zur Überwachung von Softwaresystemen
  • Diagnose von Fehlern in Softwaresystemen
  • Realisierung von Überwachungsframeworks
Qualifikationsziele/Kompetenzen:
  • Grundsätzliche Kenntnisse von Analyse- und Verifikationstechniken
  • Vertrautheit mit der Spezifikation von Korrektheits- und Sicherheitseigenschaften
  • Kenntnisse von Techniken zur Synthese von Monitoren
  • Fähigkeiten, durch die vermittelten Techniken Software von höherer Qualität zu entwickeln
Vergabe von Leistungspunkten und Benotung durch:
  • Übungsaufgaben
  • Klausur oder mündliche Prüfung nach Maßgabe des Dozenten
Modulverantwortlicher:
Lehrende:
Literatur:
  • A. Bauer, M. Leucker, C. Schallhart: Runtime Verification for LTL and TLTL - ACM TOSEM, 2011
  • C. Baier, J.-P. Katoen: Principles of Model Checking - MIT Press, 2008
  • D. Peled: Software Reliability Methods - Springer, 2001
  • M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner: Model-Based Testing of Reactive Systems - Springer, 2005
Sprache:
  • Englisch, außer bei nur deutschsprachigen Teilnehmern
Bemerkungen:

Es wird empfohlen, dieses Modul in Kombination mit dem Modul CS4136 Software- und System-Testen zu hören.

Letzte Änderung:
8.7.2015

Modulhandbuch online

Zur Liste aller Module

Modulhandbuch als PDF