Real-time computer-based systems are woven into the fabric of our lives. They are embedded in distributed cyber-physical systems such as critical infrastructures, manufacturing systems, trac control and many other which involve numerous interacting heterogeneous components from micro to macro scale. Due to the criticality and complexity of such systems their development process presumes proper support by software quality assurance methods and tools.

In this thesis, we present a model-based testing method, test architecture and provably correct test development work-flow for time critical distributed systems. The approach aims at online model-based testing of distributed systems with the focus on test automation and provable test quality. Another focus of this research is tests timing and performance aspects that when ignored cause dropping the usability of testing tools especially for complex distributed systems.

The feasibility of our approach is demonstrated on industrial case study "Flexibility Contracts for Ancillary Services in Energy Grids".

Supervisor Professor Jüri Vain (Tallinn University of Technology).

Opponents:

• Prof Johan Lilius (Åbo Akademi University, Finland)
• Artem Boyarchuk (KhAI - Aerospace University, Kiiev, Ukraine)

The PhD thesis is available in Tallinn University of Technology digital library.