Estonia, Tallinn

Software Reliability

when 3 August 2016 - 6 August 2016
language English
duration 1 week
credits 1 ECTS

- Specification of correctness properties.
- Monitor synthesis algorithms.
- Diagnosis and Reconfiguration.
- Code manipulation.
- jUnitRV

Course leader

Prof. Dr. rer. nat. Martin Leucker (L├╝beck)

Target group

Students and professionals in the field of informatics, computer science or electrical engineering,
Attendance requirements: Basics in computer science and mathematics, especially logic, to the extent which is characteristic for a third term student in computer science

Course aim

The student will learn about techniques for monitoring systems at runtime and to build automatic means for healing systems in case of unforeseen behaviour. He or she will study monitor synthesis approaches as wells basics of controller synthesis to reconfigure systems at runtime.
The focus of the module is on understanding the concepts and mechanisms of runtime verification and runtime reflection.
The goal is to enable the student to apply runtime verification techniques to enrich the reliability of systems.

Credits info

Credits are allocated, based on students workload (ECTS-system). On successful completion of the Summer School courses, a certificate, which confirms the ECTS-credits earned as well as the grade, is awarded. The certificate is signed by all lecturers and includes a detailed description of the content and number of the courses attended.

Fee info

EUR 0: No fee


- Free accommodation (including breakfast) and lunch for all participants