Interest Beyond Violation: On Points-of-Interest in Runtime Verification
Paper i proceeding, 2025

Many formal verification techniques are concerned with comparing system behaviours with formal specifications. Although runtime verification has followed this path (comparing observed traces against formal properties), it has traditionally been burdened with another task—that of raising a flag when a violation is detected. Different approaches can be found in the literature: identifying the earliest such instance, identifying all instances, identifying instances where (potentially future) violations are inevitable, etc. We argue that the lack of a clear distinction between the notion of system correctness and the hard-wired means of identification of points when violation is somehow detected, conflates the notions of points-of-detection and points-of-violation. Frequently, the point at which a point-of-violation may be detected is independent of the point of interest itself, and also independent of the point-of-reaction if a corrective measure is needed. We observe that this distinction becomes more salient in some cases, such as deontic specification languages, which may identify notions such as permission, and in the case of multi-agent systems, where the notion of blame is essential. Using practical and varied examples we motivate why these limitations are significant for the field of runtime verification.

Författare

C. Colombo

University of Malta

Gordon Pace

University of Malta

Gerardo Schneider

Chalmers, Data- och informationsteknik, Data Science och AI

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 15221 LNCS 66-78
9783031753794 (ISBN)

12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
Crete, Greece,

Ämneskategorier

Datavetenskap (datalogi)

DOI

10.1007/978-3-031-75380-0_5

Mer information

Senast uppdaterat

2024-11-19