論文の概要: Towards Formal Fault Injection for Safety Assessment of Automated Systems

• arxiv url: http://arxiv.org/abs/2311.09810v1
• Date: Thu, 16 Nov 2023 11:34:18 GMT
• ステータス: 処理完了
• システム内更新日: 2023-11-17 14:28:42.056682
• Title: Towards Formal Fault Injection for Safety Assessment of Automated Systems
• Title（参考訳）: 自動システムの安全性評価のための形式的断層注入法
• Authors: Ashfaq Farooqui (Dependable Transport Systems, RISE Research Institutes of Sweden, Bor{\aa}s, Sweden), Behrooz Sangchoolie (Dependable Transport Systems, RISE Research Institutes of Sweden, Bor{\aa}s, Sweden)
• Abstract要約: 本稿では,開発ライフサイクルを通じてこれら2つのテクニックを融合したフォーマルなフォールトインジェクションを紹介する。 我々は,形式的手法と断層注入の相互支援の5つの領域を同定し,より密着的なアプローチを提唱する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Reasoning about safety, security, and other dependability attributes of autonomous systems is a challenge that needs to be addressed before the adoption of such systems in day-to-day life. Formal methods is a class of methods that mathematically reason about a system's behavior. Thus, a correctness proof is sufficient to conclude the system's dependability. However, these methods are usually applied to abstract models of the system, which might not fully represent the actual system. Fault injection, on the other hand, is a testing method to evaluate the dependability of systems. However, the amount of testing required to evaluate the system is rather large and often a problem. This vision paper introduces formal fault injection, a fusion of these two techniques throughout the development lifecycle to enhance the dependability of autonomous systems. We advocate for a more cohesive approach by identifying five areas of mutual support between formal methods and fault injection. By forging stronger ties between the two fields, we pave the way for developing safe and dependable autonomous systems. This paper delves into the integration's potential and outlines future research avenues, addressing open challenges along the way.
• Abstract（参考訳）: 自律システムの安全性、セキュリティ、その他の信頼性特性に関する推論は、日々の生活でそのようなシステムを採用する前に対処する必要がある課題である。 形式的手法は、システムの振る舞いを数学的に推論する手法のクラスである。 したがって、システムの信頼性を結論付けるには正当性証明が十分である。 しかしながら、これらの手法は通常、実際のシステムを完全に表現していないシステムの抽象モデルに適用される。 一方、フォールトインジェクションは、システムの依存性を評価するためのテスト方法である。 しかし、システムを評価するのに必要なテストの量は、かなり大きく、しばしば問題となる。 本稿では, 自律システムの信頼性を高めるため, 開発ライフサイクルを通じてこれら2つの技術を融合した形式的欠陥注入を導入する。 我々は,形式的手法と断層注入の相互支援の5つの領域を同定し,より密着的なアプローチを提唱する。 この2つの分野をより強く結びつけることで、安全で信頼性の高い自律システムを開発する方法を確立しました。 本稿では,統合の可能性について考察し,今後の研究の道筋について概説する。

関連論文リスト

• Learning Controlled Stochastic Differential Equations [61.82896036131116]
  本研究では,非一様拡散を伴う連続多次元非線形微分方程式のドリフト係数と拡散係数の両方を推定する新しい手法を提案する。 我々は、(L2)、(Linfty)の有限サンプル境界や、係数の正則性に適応する学習率を持つリスクメトリクスを含む、強力な理論的保証を提供する。 当社のメソッドはオープンソースPythonライブラリとして利用可能です。
  論文  参考訳（メタデータ） (2024-11-04T11:09:58Z)
• Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems [88.80306881112313]
  我々は、AI安全性に対する一連のアプローチを紹介し、定義する。 これらのアプローチの中核的な特徴は、高保証の定量的安全性保証を備えたAIシステムを作ることである。 これら3つのコアコンポーネントをそれぞれ作成するためのアプローチを概説し、主な技術的課題を説明し、それらに対する潜在的なソリューションをいくつか提案します。
  論文  参考訳（メタデータ） (2024-05-10T17:38:32Z)
• Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings [0.24578723416255752]
  問題を非現実的な仮定にシフトすることなく,スケーラブルな形式検証アルゴリズムを開発する。 問題を非現実的な仮定にシフトさせることなく,スケーラブルな形式検証アルゴリズムを開発するためには,バリア証明書の概念を用いる。 本稿では,2乗法最適化とガウス過程エンベロープを用いて効率よくプログラムを解く方法を示す。
  論文  参考訳（メタデータ） (2024-03-15T17:32:02Z)
• Formal Methods for Autonomous Systems [21.989467515686858]
  形式的手法は安全クリティカルシステムの正当性を確立する上で重要な役割を果たしてきた。 形式的なメソッドの主なビルディングブロックはモデルと仕様です。 様々な定式化の下で, 正しい構成合成を考察する。
  論文  参考訳（メタデータ） (2023-11-02T14:18:43Z)
• Interactive System-wise Anomaly Detection [66.3766756452743]
  異常検出は様々なアプリケーションにおいて基本的な役割を果たす。 既存のメソッドでは、インスタンスがデータとして容易に観察できないシステムであるシナリオを扱うのが難しい。 システム埋め込みを学習するエンコーダデコーダモジュールを含むエンドツーエンドアプローチを開発する。
  論文  参考訳（メタデータ） (2023-04-21T02:20:24Z)
• A Domain-Agnostic Approach for Characterization of Lifelong Learning Systems [128.63953314853327]
  「生涯学習」システムには,1)継続的学習,2)伝達と適応,3)拡張性があります。 この一連のメトリクスは、様々な複雑な生涯学習システムの開発に役立てることができることを示す。
  論文  参考訳（メタデータ） (2023-01-18T21:58:54Z)
• Learning Physical Concepts in Cyber-Physical Systems: A Case Study [72.74318982275052]
  本稿では,時系列データにおける物理概念の学習方法に関する研究の現状について概説する。 また,3タンクシステムの例を用いて,最先端技術から最も重要な手法を分析した。
  論文  参考訳（メタデータ） (2021-11-28T14:24:52Z)
• Proceedings Second Workshop on Formal Methods for Autonomous Systems [0.0]
  FMASの目標は、正式な方法で自律システムの課題に取り組む先進的な研究者を集結させることだ。 私たちは、自律システムやロボットシステムを特定し、モデル化し、検証するための正式な方法を使うことに興味があります。
  論文  参考訳（メタデータ） (2020-12-02T13:08:57Z)
• Active Learning for Nonlinear System Identification with Guarantees [102.43355665393067]
  状態遷移が既知の状態-作用対の特徴埋め込みに線形に依存する非線形力学系のクラスについて検討する。 そこで本稿では, トラジェクティブ・プランニング, トラジェクティブ・トラッキング, システムの再推定という3つのステップを繰り返すことで, この問題を解決するためのアクティブ・ラーニング・アプローチを提案する。 本手法は, 非線形力学系を標準線形回帰の統計速度と同様, パラメトリック速度で推定する。
  論文  参考訳（メタデータ） (2020-06-18T04:54:11Z)
• A Structured Approach to Trustworthy Autonomous/Cognitive Systems [4.56877715768796]
  信頼を確保するための一般的なアプローチはない。 本稿では,このギャップを正確に埋める枠組みを提案する。 現在の安全基準に基づく構造的アプローチとして,参照ライフサイクルを提案する。
  論文  参考訳（メタデータ） (2020-02-19T14:36:27Z)

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

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