論文の概要: 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にコントリビューションを実装した。 作業を評価し、既存のアプローチと比較します。

関連論文リスト

• Distributed Monitoring of Timed Properties [0.22499166814992436]
  ランタイム監視は、あるプロパティを満たすかどうかをできるだけ早く決定するために、システムの実行を観察することで構成される。 我々は、到達性タイムドオートマトンとして与えられるプロパティについて、分散環境でのモニタリングを検討する。 本稿では,時間特性のオンラインモニタリングアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2024-10-01T07:46:59Z)
• UNIT: Unsupervised Online Instance Segmentation through Time [69.2787246878521]
  クラスに依存しないオンラインインスタンスのセグメンテーションとトラッキングの問題に対処する。 オブジェクトのオンライントラッキングを可能にする新しいトレーニングレシピを提案する。 我々のネットワークは擬似ラベルで訓練されており、手動のアノテーションは不要である。
  論文  参考訳（メタデータ） (2024-09-12T09:47:45Z)
• Runtime Instrumentation for Reactive Components (Extended Version) [0.0]
  リアクティブソフトウェアは、システムのリアクティブ属性を裏付けるインスツルメンテーションメソッドを要求する。 本稿では,この2つの要求を満たすアウトラインモニタのための分散インスツルメンテーションアルゴリズムであるRIARCを提案する。 RIARCは次のホップIPルーティングアプローチを使ってこれらの課題を克服し、イベントを再配置し、モニタに適切に報告する。
  論文  参考訳（メタデータ） (2024-06-28T13:18:04Z)
• RTracker: Recoverable Tracking via PN Tree Structured Memory [71.05904715104411]
  本稿では,木構造メモリを用いてトラッカーと検出器を動的に関連付け,自己回復を可能にするRTrackerを提案する。 具体的には,正負と負のターゲットサンプルを時系列に保存し,維持する正負のツリー構造メモリを提案する。 我々の中核となる考え方は、正と負の目標カテゴリーの支持サンプルを用いて、目標損失の信頼性評価のための相対的距離に基づく基準を確立することである。
  論文  参考訳（メタデータ） (2024-03-28T08:54:40Z)
• 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)
• 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)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。