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

Course leader
Prof. Dr. rer. nat. Martin Leucker (Lbeck)

Target group
Students and professionals in the field of informatics, computer science or electrical engineering

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
1 ECTS 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

Scholarships
- Reimbursement of travel costs for participants from outside of Germany- Free accommodation (including breakfast) and lunch for all participants

Tallinn University of Technology
Address: Faculty of Information Technology, University of Rostock
Postal code: D-18051
City: Tallinn
Country: Estonia
Website: http://basoti.uni-rostock.de/
E-mail: christine.braeuning@uni-rostock.de
Phone: +49 381 498 7660