An Operational Guide to Monitorability

06/03/2019
by   Luca Aceto, et al.
0

Monitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided by monitors, i.e., the computational entities carrying out the verification. We view monitorability as a spectrum: the fewer monitor guarantees that are required, the more properties become monitorable. We present a monitorability hierarchy and provide operational and syntactic characterisations for its levels. Existing monitorability definitions are mapped into our hierarchy, providing a unified framework that makes the operational assumptions and guarantees of each definition explicit. This provides a rigorous foundation that can inform design choices and correctness claims for runtime verification tools.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

07/03/2018

On Runtime Enforcement via Suppressions

Runtime enforcement is a dynamic analysis technique that uses monitors t...
05/15/2017

Operational Semantics of Process Monitors

CSPe is a specification language for runtime monitors that can directly ...
10/22/2021

Formal Verification of the Ethereum 2.0 Beacon Chain

We report our experience in the formal verification of the reference imp...
11/15/2018

Verified Runtime Validation for Partially Observable Hybrid Systems

Formal verification provides strong safety guarantees about models of cy...
02/01/2019

Adventures in Monitorability: From Branching to Linear Time and Back Again

This paper establishes a comprehensive theory of runtime monitorability ...
01/27/2022

Setting AI in context: A case study on defining the context and operational design domain for automated driving

[Context and motivation] For automated driving systems, the operational ...
01/09/2022

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

Runtime enforcement is a dynamic analysis technique that instruments a m...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.