Monitoring for Silent Actions
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018
Silent actions are an essential mechanism for system modelling and specification. They are used to abstractly report the occurrence of computation steps without divulging their precise details, thereby enabling the description of important aspects such as the branching structure of a system. Yet, their use rarely features in specification logics used in runtime verification. We study monitorability aspects of a branching-time logic that employs silent actions, identifying which formulas are monitorable for a number of instrumentation setups. We also consider defective instrumentation setups that imprecisely report silent events, and establish monitorability results for tolerating these imperfections.