The laboratory (http://www.proactivity-lab.ee ) focuses on theoretical and practical study of networked systems built from stationary and/or mobile software-intensive (proactive) components. Typical components are pervasive computing systems. The research is partitioned into three threads -- modelling and verification of situation-aware interaction-centred computation, methods and technologies for acquiring situational information, and methods for interpretation of situational information for (proactive) decision making. The long-term goal of the laboratory is the ability to detect and partially control the emergent behaviour in pervasive computing systems.
The laboratory was established in 2007 by a decree of Senate (Tallinn University of Technology), stems from the Real Time Systems group at the Department of Computer Control, Tallinn University of Technology, and has inherited its theoretical results and experience.
In pdf format: ProLab