191.118 Runtime Verification
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2023S, VU, 4.0h, 6.0EC


  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VU Lecture and Exercise
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to apply RV techniques for testing, verification, and debugging purposes and for ensuring safety and security properties during the system's execution.

Subject of course

The course will start with an introduction on the areas where the verification should be preferable addressed at runtime. We will then explore different specification languages to specify the properties to be monitored and the related available monitoring techniques. We will then consider various instrumentation approaches can be used to extract the information necessary for monitoring from a running system. We will discuss some techniques of software system instrumentation. 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:


  1. Introduction to Runtime Verification
  2. Specifying (Un)Desired System Behaviour
  3. Generating Monitors from Formal Specifications
  4. Instrumentation Techniques and Examples
  5. Advance Topics: Specification-based Monitoring of Cyber-Physical Systems
  6. Advance Topics: Fault-Localization and Fault Explanation
  7. Advance Topics: Mining Specifications from Data
  8. Advance Topics: From Runtime Verification to Control

Teaching methods

In the first month of the course we will present the basic knowledge that is required to do the assignment. In the second part of the course, we will present advance topics that will be useful to further improve their project. We will ask the students to setup a git hub repository where we will monitor the progress and the actual work of the single students in the group. The students will ask to make two presentations. One presentation where the students must to elaborate, before starting the project, a contingency plan where they can still safely achieve some goals and the risk is taken into consideration. The students must write a document explaining the solution adopted for their assignment. At end of the course, the students are asked to make a public final presentation of their results.

Mode of examination




Course dates

Wed09:00 - 11:0015.03.2023 - 28.06.2023Seminarraum DE0110 Runtime Verification
Runtime Verification - Single appointments
Wed15.03.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed22.03.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed29.03.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed19.04.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed26.04.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed03.05.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed10.05.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed17.05.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed24.05.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed07.06.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed14.06.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed21.06.202309:00 - 11:00Seminarraum DE0110 Runtime Verification
Wed28.06.202309:00 - 11:00Seminarraum DE0110 Runtime Verification

Examination modalities

A project will be assigned to each student.  At the end of the semester the students will defend their solution in a public presentation.

Course registration

Begin End Deregistration end
15.02.2023 23:59 07.03.2023 23:59



No lecture notes are available.