論文の概要: Towards Partial Monitoring: It is Always too Soon to Give Up
- arxiv url: http://arxiv.org/abs/2110.12585v1
- Date: Mon, 25 Oct 2021 01:55:05 GMT
- ステータス: 処理完了
- システム内更新日: 2021-10-27 07:30:48.668413
- Title: Towards Partial Monitoring: It is Always too Soon to Give Up
- Title(参考訳): 部分的モニタリングに向けて:常に早すぎる
- Authors: Angelo Ferrando (University of Genova), Rafael C. Cardoso (The
University of Manchester)
- Abstract要約: 本稿では,監視可能性の概念を実践的観点から再考する。
監視不能なプロパティが部分的なモニタを生成するためにどのように使用できるかを示し、そのプロパティを部分的にチェックする。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Runtime Verification is a lightweight formal verification technique. It is
used to verify at runtime whether the system under analysis behaves as
expected. The expected behaviour is usually formally specified by means of
properties, which are used to automatically synthesise monitors. A monitor is a
device that, given a sequence of events representing a system execution,
returns a verdict symbolising the satisfaction or violation of the formal
property. Properties that can (resp. cannot) be verified at runtime by a
monitor are called monitorable and non-monitorable, respectively. In this
paper, we revise the notion of monitorability from a practical perspective,
where we show how non-monitorable properties can still be used to generate
partial monitors, which can partially check the properties. Finally, we present
the implications both from a theoretical and practical perspectives.
- Abstract(参考訳): ランタイム検証は軽量な形式検証手法である。
分析対象のシステムが期待通りに振る舞うかどうかを実行時に検証するために使用される。
期待される振る舞いは通常、モニターを自動的に合成するために使用されるプロパティによって正式に指定される。
モニタは、システム実行を表すイベントのシーケンスが与えられると、形式的プロパティの満足度または違反を象徴する評価結果を返すデバイスである。
モニタによって実行時に検証できる(参照できない)プロパティは、それぞれ監視可能および監視不能と呼ばれる。
本稿では,モニタリング可能性の概念を実践的な観点から再検討し,モニタリング不能なプロパティが部分的なモニタ生成にどのように使用できるかを示し,その特性を部分的にチェックする。
最後に、理論的および実践的な観点から、その意味を述べる。
関連論文リスト
- Third-Party Language Model Performance Prediction from Instruction [59.574169249307054]
言語モデルに基づく命令フォローシステムは、最近、多くのベンチマークタスクのパフォーマンスが向上している。
ユーザは、応答が正確かどうかを判断することなく、命令付きモデルを容易に促すことができる。
本稿では,タスク上での指示追従システムの評価から得られたメトリックを予測するために,別のモデルを訓練した第三者のパフォーマンス予測フレームワークを提案する。
論文 参考訳(メタデータ) (2024-03-19T03:53:47Z) - Tooling Offline Runtime Verification against Interaction Models :
recognizing sliced behaviors using parameterized simulation [0.4199844472131921]
オフライン実行時の検証には、仕様に対するシステムの実行の静的解析が含まれる。
分散システムでは、グローバルクロックが存在しないため、グローバルトレースの形での実行を特徴付けることは一般的に不可能である。
本稿では,インタラクションと呼ばれる形式仕様に対して,そのようなトレースの適合性を検証するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2024-03-05T16:09:55Z) - Sound Concurrent Traces for Online Monitoring Technical Report [0.0]
並列プログラムは通常、抽象的なプログラム実行のためのトレースの収集に依存します。
まず、トレースが並列実行を表すときの概念を定義します。
次に,非ブロッキングベクトルクロックアルゴリズムを提案し,音の同時トレースをハエで収集する。
論文 参考訳(メタデータ) (2024-02-28T15:11:39Z) - Monitoring Algorithmic Fairness under Partial Observations [3.790015813774933]
実行時検証技術は、デプロイされたシステムのアルゴリズム的公正性を監視するために導入された。
従来の監視技術は、監視されたシステムの状態の完全な可観測性を前提としている。
我々は、部分的に観測されたマルコフ連鎖としてモデル化されたシステムにフェアネスモニタリングを拡張した。
論文 参考訳(メタデータ) (2023-08-01T07:35:54Z) - Runtime Monitoring of Dynamic Fairness Properties [3.372200852710289]
静的意思決定タスクで公平なマシン学習システムは、長期にわたる社会的影響に偏っている可能性がある。
既存の研究は、スマートシステム設計による長期バイアスの特定と緩和を目的としているが、我々は、リアルタイムに公正さを監視する技術を導入している。
私たちのゴールは、システムによって生成されるイベントの長いシーケンスを継続的に観察するモニターを構築し、デプロイすることにあります。
論文 参考訳(メタデータ) (2023-05-08T13:32:23Z) - Monitoring ROS2: from Requirements to Autonomous Robots [58.720142291102135]
本稿では,構造化自然言語で記述された要件から自律ロボットのランタイムモニタを生成するための形式的アプローチの概要について述べる。
当社のアプローチでは,Fletal Requirement Elicitation Tool (FRET) とランタイム検証フレームワークであるCopilotを,Ogma統合ツールを通じて統合しています。
論文 参考訳(メタデータ) (2022-09-28T12:19:13Z) - Alignment-based conformance checking over probabilistic events [4.060731229044571]
本稿では、重み付きトレースモデルと重み付きアライメントコスト関数と、イベントデータに対する信頼度を制御するカスタムしきい値パラメータを導入する。
結果のアルゴリズムは、プロセスモデルとよりよく一致した、低いが十分に高い確率のアクティビティを考慮します。
論文 参考訳(メタデータ) (2022-09-09T14:07:37Z) - Auditing AI models for Verified Deployment under Semantic Specifications [65.12401653917838]
AuditAIは、解釈可能な形式検証とスケーラビリティのギャップを埋める。
AuditAIは、画素空間の摂動のみを用いた検証の限界に対処しながら、検証と認定トレーニングのための制御されたバリエーションを得られるかを示す。
論文 参考訳(メタデータ) (2021-09-25T22:53:24Z) - No Need to Know Physics: Resilience of Process-based Model-free Anomaly
Detection for Industrial Control Systems [95.54151664013011]
本稿では,システムの物理的特性に反する逆スプーフ信号を生成するための新しい枠組みを提案する。
トップセキュリティカンファレンスで公表された4つの異常検知器を分析した。
論文 参考訳(メタデータ) (2020-12-07T11:02:44Z) - A Background-Agnostic Framework with Adversarial Training for Abnormal
Event Detection in Video [120.18562044084678]
近年,ビデオにおける異常事象検出は複雑なコンピュータビジョンの問題として注目されている。
通常のイベントのみを含むトレーニングビデオから学習するバックグラウンドに依存しないフレームワークを提案する。
論文 参考訳(メタデータ) (2020-08-27T18:39:24Z) - SeCo: Exploring Sequence Supervision for Unsupervised Representation
Learning [114.58986229852489]
本稿では,空間的,シーケンシャル,時間的観点から,シーケンスの基本的および汎用的な監視について検討する。
私たちはContrastive Learning(SeCo)という特定の形式を導き出します。
SeCoは、アクション認識、未トリムアクティビティ認識、オブジェクト追跡に関する線形プロトコルにおいて、優れた結果を示す。
論文 参考訳(メタデータ) (2020-08-03T15:51:35Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。