論文の概要: Sound Concurrent Traces for Online Monitoring Technical Report
- arxiv url: http://arxiv.org/abs/2402.18391v1
- Date: Wed, 28 Feb 2024 15:11:39 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-29 14:35:23.974141
- Title: Sound Concurrent Traces for Online Monitoring Technical Report
- Title(参考訳): オンラインモニタリング技術レポートのための音響コンカレントトレース
- Authors: Chukri Soueidi and Ylies Falcone
- Abstract要約: 並列プログラムは通常、抽象的なプログラム実行のためのトレースの収集に依存します。
まず、トレースが並列実行を表すときの概念を定義します。
次に,非ブロッキングベクトルクロックアルゴリズムを提案し,音の同時トレースをハエで収集する。
- 参考スコア(独自算出の注目度): 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.
- Abstract(参考訳): 並行プログラムの監視は通常、抽象プログラムの実行のためのトレースの収集に依存している。
しかしながら、一般的な行動特性をターゲットとする既存のアプローチは、オンライン監視用に調整されていないか、もはやメンテナンスされていないか、しばしば不健全な評決につながるような単純なインスツルメンテーションを実装している。
まず、トレースが並列実行を表すときの概念を定義します。
次にノンブロッキングベクトルクロックアルゴリズムを提案し,イベント間の部分次数を反映した音の同時トレースを収集する。
さらに、代表トレースにおける同時イベントは、全順序形式から合成されたモニタの音質問題を引き起こす。
このため、モニタから因果関係を抽出して、トレースに必要な順序があるかどうかを確認し、収集されたトレースを監視可能な場合に実行時に決定する条件を定義する。
我々は、Javaバイトコードにコンパイルされたプログラムを計測し、音代表トレースを構築し、モニターに監視不能トレースについて警告するツール、FACTSにコントリビューションを実装した。
作業を評価し、既存のアプローチと比較します。
関連論文リスト
- Tooling Offline Runtime Verification against Interaction Models :
recognizing sliced behaviors using parameterized simulation [0.4199844472131921]
オフライン実行時の検証には、仕様に対するシステムの実行の静的解析が含まれる。
分散システムでは、グローバルクロックが存在しないため、グローバルトレースの形での実行を特徴付けることは一般的に不可能である。
本稿では,インタラクションと呼ばれる形式仕様に対して,そのようなトレースの適合性を検証するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2024-03-05T16:09:55Z) - Detecting Anomalous Events in Object-centric Business Processes via
Graph Neural Networks [55.583478485027]
本研究では,ビジネスプロセスにおける異常検出のための新しいフレームワークを提案する。
まず、属性グラフとしてオブジェクト中心のイベントログのプロセス依存性を再構築する。
次に、異常事象を検出するために、グラフ畳み込みオートエンコーダアーキテクチャを用いる。
論文 参考訳(メタデータ) (2024-02-14T14:17:56Z) - Tracking with Human-Intent Reasoning [64.69229729784008]
この作業では、新しいトラッキングタスクであるインストラクショントラッキングを提案している。
ビデオフレーム内で自動的にトラッキングを実行するようにトラッカーに要求する暗黙の追跡命令を提供する。
TrackGPTは複雑な推論ベースの追跡を行うことができる。
論文 参考訳(メタデータ) (2023-12-29T03:22:18Z) - Anticipatory Music Transformer [77.29752896976116]
本稿では、時間点過程の制御可能な生成モデルを構築する方法である予測を導入する。
コントロールはイベント自体のサブセットであるので、コントロールタスクの充実に重点を置いています。
大規模かつ多様なLakh MIDI音楽データセットを用いて予測入出力モデルを訓練する。
論文 参考訳(メタデータ) (2023-06-14T16:27:53Z) - OmniTracker: Unifying Object Tracking by Tracking-with-Detection [119.51012668709502]
OmniTrackerは、完全に共有されたネットワークアーキテクチャ、モデルウェイト、推論パイプラインですべてのトラッキングタスクを解決するために提供されている。
LaSOT、TrackingNet、DAVIS16-17、MOT17、MOTS20、YTVIS19を含む7つの追跡データセットの実験は、OmniTrackerがタスク固有の追跡モデルと統合された追跡モデルの両方よりも、オンパーまたはそれ以上の結果を達成することを示した。
論文 参考訳(メタデータ) (2023-03-21T17:59:57Z) - Tracking by Associating Clips [110.08925274049409]
本稿では,オブジェクト関連をクリップワイドマッチングとして扱う方法を検討する。
我々の新しい視点では、1つの長いビデオシーケンスを複数のショートクリップとみなし、そのトラックはクリップ内とクリップ間の両方で実行される。
この新しい手法の利点は2つある。まず、ビデオチャンキングによって中断フレームをバイパスできるため、エラーの蓄積や伝播の追跡に頑健である。
次に、クリップワイドマッチング中に複数のフレーム情報を集約し、現在のフレームワイドマッチングよりも高精度な長距離トラックアソシエーションを実現する。
論文 参考訳(メタデータ) (2022-12-20T10:33:17Z) - Outcome-Oriented Prescriptive Process Monitoring Based on Temporal Logic
Patterns [9.876717580544364]
本稿では,新しいアウトカム指向の規範的プロセスモニタリングシステムを提案する。
プロセス実行中に保証されるアクティビティ間の時間的関係を推奨します。
これにより、特定の時点におけるアクティビティの強制実行が緩和されるため、ユーザによる自由度が向上する。
論文 参考訳(メタデータ) (2022-11-09T13:36:07Z) - Unsupervised Learning of Accurate Siamese Tracking [68.58171095173056]
分類枝と回帰枝の両方で時間対応を学習できる新しい教師なし追跡フレームワークを提案する。
トラッカーは、トラッカーネットやLaSOTのような大規模データセット上で、教師なしの手法と同等の性能を発揮する。
論文 参考訳(メタデータ) (2022-04-04T13:39:43Z) - Towards Partial Monitoring: It is Always too Soon to Give Up [0.0]
本稿では,監視可能性の概念を実践的観点から再考する。
監視不能なプロパティが部分的なモニタを生成するためにどのように使用できるかを示し、そのプロパティを部分的にチェックする。
論文 参考訳(メタデータ) (2021-10-25T01:55:05Z) - Unsupervised Multiple Person Tracking using AutoEncoder-Based Lifted
Multicuts [11.72025865314187]
最小限の視覚的特徴とリフトマルチカットに基づく教師なし多重物体追跡手法を提案する。
提案したアノテーションを使わずにトレーニングされているにもかかわらず,我々のモデルは,歩行者追跡のための挑戦的なMOTベンチマークにおいて,競争力のある結果をもたらすことを示した。
論文 参考訳(メタデータ) (2020-02-04T09:42:34Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。