Monitorability Over Unreliable Channels

TitleMonitorability Over Unreliable Channels
Publication TypeConference Paper
Year of Publication2019
AuthorsKauffman, S., K. Havelund, and S. Fischmeister
Conference NameInternational Conference on Runtime Verification (RV)
Pagination256 to 272
Conference LocationPorto, Portugal

In Runtime Verification (RV), monitoring a program means checking an execution trace of the program for satisfactions and violations of properties.  The question of which properties can be effectively monitored over ideal channels has mostly been answered by prior work.  However, program monitoring is often deployed for remote systems where communications may be unreliable.

In this work, we address the question of what properties are monitorable over an unreliable communication channel.  We describe the different types of mutations that may be introduced to an execution trace and examine their effects on program monitoring.  We propose a fixed-parameter tractable algorithm for determining the immunity of a finite automaton to a trace mutation and show how it can be used to classify omega-regular properties as monitorable over channels with that mutation.

Refereed DesignationRefereed
Related files: 


Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.