Monday, November 25, 2019 — 3:00 PM EST

Candidate: Sean Kauffman

Title: Monitorability Over Unreliable Channels

Date: November 25, 2019

Time: 3:00 PM

Place: EIT 3142

Supervisor(s): Fischmeister, Sebastian

 

Abstract:

In Runtime Verification (RV), monitoring a system means checking an execution trace of a program for satisfactions and violations of properties. The question of which properties can be effectively monitored over ideal channels has mostly been answered in the literature. However, program monitoring is often deployed for remote systems where communications may be unreliable. In this talk, I address the question of what properties are monitorable over an unreliable communication channel. I describe the different types of mutations that may be introduced to an execution trace and examine their effects on program monitoring. I 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 w-regular properties as monitorable over channels with that mutation.

Location 
EIT
Room 3142
200 University Avenue West

Waterloo, ON N2L 3G1
Canada

S M T W T F S
26
27
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
  1. 2020 (152)
    1. September (1)
    2. August (2)
    3. July (20)
    4. June (29)
    5. May (32)
    6. April (27)
    7. March (13)
    8. February (20)
    9. January (16)
  2. 2019 (282)
    1. December (16)
    2. November (32)
    3. October (19)
    4. September (26)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  3. 2018 (150)
  4. 2017 (212)
  5. 2016 (242)
  6. 2015 (242)
  7. 2014 (268)
  8. 2013 (192)
  9. 2012 (31)