Am 30. Juli 2024 wird es aufgrund einer wichtigen Datenbankaktualisierung zwischen 8 und 11 Uhr zu Serviceunterbrechungen in den Bereichen Student-Self-Service und Personalbedarf kommen. Vielen Dank für Ihr Verständnis.

191.106 Runtime Verification
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019S, VU, 2.0h, 3.0EC


  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Runtime verification is concerned with the analysis of software or hardware at execution time. It is based on extracting information from a running system and monitoring if the observed behaviors satisfy or violate the properties of interest. These techniques are critical for system correctness, reliability, security, and robustness. They are more practical than exhaustive formal verification and more versatile than conventional testing. During the last decade, many important tools and techniques have been developed and successfully employed in several application domains that go beyond the program verification: mixed-signal analysis, falsification analysis of cyber-physical and biological systems, signal processing and music detection. This course offers an introduction to both the theory and practice about monitoring techniques for software and hardware.

Inhalt der Lehrveranstaltung

The course will start with an introduction on the areas where the verification should be preferable addressed at runtime. We will then discuss some techniques of software system instrumentation. We will then explore different specification languages to specify the properties to be monitored and the related available monitoring techniques.

Real case studies will expose students to the potential applications of these technologies. A final project will give them the possibility to make a concrete experience of the concepts taught. This is the list of the main topics of the course:

  • Monitoring techniques (state machines, rewriting logics, dynamic programming)

  • Monitoring software programs

  • Monitoring Mixed-Analog Signals

Vortragende Personen


LVA Termine

Mo.14:00 - 16:0006.05.2019 Treitlstrasse 3 (3rd floor), LibraryRuntime Verification (Lecture 1)
Di.14:00 - 16:0007.05.2019 Treitlstrasse 3 (3rd floor), LibraryRuntime Verification (Lecture 2)
Mi.14:00 - 16:0008.05.2019 Treitlstrasse 3 (3rd floor), LibraryRuntime Verification (Lecture 3)
Mo.14:00 - 16:0020.05.2019 Treitlstrasse 3 (3rd floor), LibraryRuntime Verification (Lecture 4)
Di.14:00 - 16:0021.05.2019 Treitlstrasse 3 (3rd floor), LibraryRuntime Verification (Lecture 5)
Mi.14:00 - 16:0022.05.2019 Treitlstrasse 3 (3rd floor), LibraryRuntime Verification (Lecture 6)


Von Bis Abmeldung bis
01.05.2019 10:00 30.06.2019 10:00


066 938 Technische Informatik Gebundenes Wahlfach


Es wird kein Skriptum zur Lehrveranstaltung angeboten.