6 August 2016
- Specification of correctness properties.
- Monitor synthesis algorithms.
- Diagnosis and Reconfiguration.
- Code manipulation.
Prof. Dr. rer. nat. Martin Leucker (Lübeck)
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
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 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.
EUR 0: No fee
- Free accommodation (including breakfast) and lunch for all participants