Sound Concurrent Traces for Online Monitoring Technical Report

• URL: http://arxiv.org/abs/2402.18391v1
• Date: Wed, 28 Feb 2024 15:11:39 GMT
• Title: Sound Concurrent Traces for Online Monitoring Technical Report
• Authors: Chukri Soueidi and Ylies Falcone
• Abstract summary: concurrent programs typically rely on collecting traces to abstract program executions. We first define the notion of when a trace is representative of a concurrent execution. We then present a non-blocking vector clock algorithm to collect sound concurrent traces on the fly.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Monitoring concurrent programs typically rely on collecting traces to abstract program executions. However, existing approaches targeting general behavioral properties are either not tailored for online monitoring, are no longer maintained, or implement naive instrumentation that often leads to unsound verdicts. We first define the notion of when a trace is representative of a concurrent execution. We then present a non-blocking vector clock algorithm to collect sound concurrent traces on the fly reflecting the partial order between events. Moreover, concurrent events in the representative trace pose a soundness problem for monitors synthesized from total order formalisms. For this, we extract a causal dependence relation from the monitor to check if the trace has the needed orderings and define the conditions to decide at runtime when a collected trace is monitorable. We implement our contributions in a tool, FACTS, which instruments programs compiling to Java bytecode, constructs sound representative traces, and warns the monitor about non-monitorable traces. We evaluate our work and compare it with existing approaches.

Related papers

• Distributed Monitoring of Timed Properties [0.22499166814992436]
  runtime monitoring consists of observing the execution of a system in order to decide as quickly as possible whether or not it satisfies a given property. We consider monitoring in a distributed setting, for properties given as reachability timed automata. We propose an on-line monitoring algorithm for timed properties, robust to time imprecision and partial information from distant components.
  arXiv  Detail & Related papers  (2024-10-01T07:46:59Z)
• UNIT: Unsupervised Online Instance Segmentation through Time [69.2787246878521]
  We tackle the problem of class-agnostic unsupervised online instance segmentation and tracking. We propose a new training recipe that enables the online tracking of objects. Our network is trained on pseudo-labels, eliminating the need for manual annotations.
  arXiv  Detail & Related papers  (2024-09-12T09:47:45Z)
• Runtime Instrumentation for Reactive Components (Extended Version) [0.0]
  Reactive software calls for instrumentation methods that uphold the reactive attributes of systems. This paper presents RIARC, a novel decentralised instrumentation algorithm for outline monitors meeting these two demands. RIARC overcomes these challenges using a next-hop IP routing approach to rearrange and report events soundly to monitors.
  arXiv  Detail & Related papers  (2024-06-28T13:18:04Z)
• RTracker: Recoverable Tracking via PN Tree Structured Memory [71.05904715104411]
  We propose a recoverable tracking framework, RTracker, that uses a tree-structured memory to dynamically associate a tracker and a detector to enable self-recovery. Specifically, we propose a Positive-Negative Tree-structured memory to chronologically store and maintain positive and negative target samples. Our core idea is to use the support samples of positive and negative target categories to establish a relative distance-based criterion for a reliable assessment of target loss.
  arXiv  Detail & Related papers  (2024-03-28T08:54:40Z)
• Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation [0.4199844472131921]
  offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize executions in the form of global traces, given the absence of a global clock. We propose an algorithm that verifies the conformity of such traces against formal specifications called Interactions.
  arXiv  Detail & Related papers  (2024-03-05T16:09:55Z)
• Detecting Anomalous Events in Object-centric Business Processes via Graph Neural Networks [55.583478485027]
  This study proposes a novel framework for anomaly detection in business processes. We first reconstruct the process dependencies of the object-centric event logs as attributed graphs. We then employ a graph convolutional autoencoder architecture to detect anomalous events.
  arXiv  Detail & Related papers  (2024-02-14T14:17:56Z)
• Tracking with Human-Intent Reasoning [64.69229729784008]
  This work proposes a new tracking task -- Instruction Tracking. It involves providing implicit tracking instructions that require the trackers to perform tracking automatically in video frames. TrackGPT is capable of performing complex reasoning-based tracking.
  arXiv  Detail & Related papers  (2023-12-29T03:22:18Z)
• OmniTracker: Unifying Object Tracking by Tracking-with-Detection [119.51012668709502]
  OmniTracker is presented to resolve all the tracking tasks with a fully shared network architecture, model weights, and inference pipeline. Experiments on 7 tracking datasets, including LaSOT, TrackingNet, DAVIS16-17, MOT17, MOTS20, and YTVIS19, demonstrate that OmniTracker achieves on-par or even better results than both task-specific and unified tracking models.
  arXiv  Detail & Related papers  (2023-03-21T17:59:57Z)
• Outcome-Oriented Prescriptive Process Monitoring Based on Temporal Logic Patterns [9.876717580544364]
  We propose a new Outcome-Oriented Prescriptive Process Monitoring system. It recommends temporal relations between activities that have to be guaranteed during the process execution. This softens the mandatory execution of an activity at a given point in time, thus leaving more freedom to the user.
  arXiv  Detail & Related papers  (2022-11-09T13:36:07Z)
• Unsupervised Learning of Accurate Siamese Tracking [68.58171095173056]
  We present a novel unsupervised tracking framework, in which we can learn temporal correspondence both on the classification branch and regression branch. Our tracker outperforms preceding unsupervised methods by a substantial margin, performing on par with supervised methods on large-scale datasets such as TrackingNet and LaSOT.
  arXiv  Detail & Related papers  (2022-04-04T13:39:43Z)
• Towards Partial Monitoring: It is Always too Soon to Give Up [0.0]
  This paper revises the notion of monitorability from a practical perspective. We show how non-monitorable properties can still be used to generate partial monitors, which can partially check the properties.
  arXiv  Detail & Related papers  (2021-10-25T01:55:05Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.