論文の概要: Towards Continuous Assurance Case Creation for ADS with the Evidential
Tool Bus
- arxiv url: http://arxiv.org/abs/2403.01918v1
- Date: Mon, 4 Mar 2024 10:32:48 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-06 19:05:07.077406
- Title: Towards Continuous Assurance Case Creation for ADS with the Evidential
Tool Bus
- Title(参考訳): エビデンシャル・ツール・バスを用いたADSの継続的保証事例作成に向けて
- Authors: Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene, Brian Hsuan-Cheng
Liao, and Adam Molin
- Abstract要約: 保証ケースは、安全クリティカルなシステムの認証に不可欠な要素となっている。
本稿では,ツール統合フレームワーク Evidential Tool Bus (ETB) を利用した保証ケースの構築と継続的メンテナンスの予備的経験について報告する。
- 参考スコア(独自算出の注目度): 0.4194295877935868
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: An assurance case has become an integral component for the certification of
safety-critical systems. While manually defining assurance case patterns can be
not avoided, system-specific instantiations of assurance case patterns are both
costly and time-consuming. It becomes especially complex to maintain an
assurance case for a system when the requirements of the System-Under-Assurance
change, or an assurance claim becomes invalid due to, e.g., degradation of a
systems component, as common when deploying learning-enabled components. In
this paper, we report on our preliminary experience leveraging the tool
integration framework Evidential Tool Bus (ETB) for the construction and
continuous maintenance of an assurance case from a predefined assurance case
pattern. Specifically, we demonstrate the assurance process on an industrial
Automated Valet Parking system from the automotive domain. We present the
formalization of the provided assurance case pattern in the ETB processable
logical specification language of workflows. Our findings show that ETB is able
to create and maintain evidence required for the construction of an assurance
case.
- Abstract(参考訳): 保証ケースは、安全クリティカルシステムの認証に不可欠なコンポーネントとなっている。
保証ケースパターンを手動で定義することは避けられないが、保証ケースパターンのシステム固有のインスタンス化はコストも時間もかかる。
学習可能なコンポーネントのデプロイに共通するシステムコンポーネントの劣化などにより、システム保証変更の要件が無効になった場合、あるいは保証クレームが無効になった場合、システムの保証ケースを維持することは特に複雑になる。
本稿では,ツール統合フレームワーク Evidential Tool Bus (ETB) を利用した,事前定義された保証ケースパターンからの保証ケースの構築と継続的維持のための予備的な経験について報告する。
具体的には,自動車分野における産業用自動駐車システムの保証プロセスについて述べる。
ETB処理可能なワークフローの論理仕様言語における保証ケースパターンの形式化について述べる。
以上の結果から,ETBは保証ケースの構築に必要な証拠を作成・維持できることがわかった。
関連論文リスト
- ACCESS: Assurance Case Centric Engineering of Safety-critical Systems [9.388301205192082]
保証ケースは、安全性やセキュリティなどの重要なシステム特性について、コミュニケーションし、信頼性を評価するために使用されます。
近年,システム保証活動の効率化と品質向上のために,モデルに基づくシステム保証アプローチが普及している。
モデルに基づくシステム保証ケースが異種工学的アーティファクトにどのように辿り着くかを示す。
論文 参考訳(メタデータ) (2024-03-22T14:29:50Z) - Modular Assurance of Complex Systems Using Contract-Based Design
Principles [0.0]
我々は,契約ベース開発(CBD)を用いて,モジュール化による保証ケースの簡易化を提案する。
CBD(CBD)は、コンピュータ科学で開発された複雑性を管理する方法である。
本論文は,高品質なモジュール型保証ケースを開発する実践者を支援するために,親指の4つのルールを動機付けている。
論文 参考訳(メタデータ) (2024-02-20T08:23:06Z) - I came, I saw, I certified: some perspectives on the safety assurance of
cyber-physical systems [5.9395940943056384]
サイバー物理システムの実行が失敗すると、生命の喪失、重傷、大規模な環境被害、資産破壊、そして大きな経済損失が生じる。
しばしば、規制機関がそのような制度を認定することを正当化し許すために、説得力のある保証ケースを開発することが義務付けられている。
我々は、保証イネーブラーのような課題を探求し、それらに取り組むための潜在的な方向性を概説する。
論文 参考訳(メタデータ) (2024-01-30T00:06:16Z) - A General Verification Framework for Dynamical and Control Models via
Certificate Synthesis [60.03938402120854]
システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。
コントローラと証明書を形式的に合成する自動化手法を提案する。
我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
論文 参考訳(メタデータ) (2023-09-12T09:37:26Z) - Leveraging Traceability to Integrate Safety Analysis Artifacts into the
Software Development Process [51.42800587382228]
安全保証ケース(SAC)は、システムの進化中に維持することが困難である。
本稿では,ソフトウェアトレーサビリティを活用して,関連するシステムアーチファクトを安全解析モデルに接続する手法を提案する。
安全ステークホルダーがシステム変更が安全性に与える影響を分析するのに役立つように、システム変更の合理性を設計する。
論文 参考訳(メタデータ) (2023-07-14T16:03:27Z) - A Requirements-Driven Platform for Validating Field Operations of Small
Uncrewed Aerial Vehicles [48.67061953896227]
DroneReqValidator (DRV)は、sUAS開発者が運用コンテキストを定義し、複数のsUASミッション要件を設定し、安全性特性を指定し、独自のsUASアプリケーションを高忠実な3D環境にデプロイすることを可能にする。
DRVモニタリングシステムは、sUASと環境からランタイムデータを収集し、安全特性のコンプライアンスを分析し、違反をキャプチャする。
論文 参考訳(メタデータ) (2023-07-01T02:03:49Z) - Recursively Feasible Probabilistic Safe Online Learning with Control
Barrier Functions [63.18590014127461]
本稿では,CBFをベースとした安全クリティカルコントローラのモデル不確実性を考慮した再構成を提案する。
本研究では,ロバストな安全クリティカルコントローラの実現可能性について検討する。
次に、これらの条件を使って、イベントトリガーによるオンラインデータ収集戦略を考案します。
論文 参考訳(メタデータ) (2022-08-23T05:02:09Z) - Joint Differentiable Optimization and Verification for Certified
Reinforcement Learning [91.93635157885055]
安全クリティカル制御システムのためのモデルベース強化学習では,システム特性を正式に認定することが重要である。
本稿では,強化学習と形式検証を共同で行う枠組みを提案する。
論文 参考訳(メタデータ) (2022-01-28T16:53:56Z) - The missing link: Developing a safety case for perception components in
automated driving [10.43163823170716]
知覚は自動運転システム(AD)の重要な側面であり、機械学習(ML)に大きく依存している。
MLベースのコンポーネントの安全性を保証するという既知の課題にもかかわらず、最近、これらのコンポーネントに対処するユニットレベルの安全ケースの提案が登場した。
本稿では、知覚成分に特化して調整されたリンク引数に対する汎用テンプレートを提案する。
論文 参考訳(メタデータ) (2021-08-30T15:12:27Z) - Towards an Interface Description Template for AI-enabled Systems [77.34726150561087]
再利用(Reuse)は、システムアーキテクチャを既存のコンポーネントでインスタンス化しようとする、一般的なシステムアーキテクチャのアプローチである。
現在、コンポーネントが当初目的としていたものと異なるシステムで運用する可搬性を評価するために必要な情報の選択をガイドするフレームワークは存在しない。
我々は、AI対応コンポーネントの主情報をキャプチャするインターフェイス記述テンプレートの確立に向けて、現在進行中の作業について述べる。
論文 参考訳(メタデータ) (2020-07-13T20:30:26Z) - Quantifying Assurance in Learning-enabled Systems [3.0938904602244355]
機械学習コンポーネントを組み込んだシステムの依存性保証は、安全クリティカルなアプリケーションで使用する上で重要なステップである。
本稿では, LESが信頼できるという保証の定量的概念を, 保証ケースのコアコンポーネントとして開発する。
本稿では,現実の自律型航空システムへの適用による保証対策の有用性について述べる。
論文 参考訳(メタデータ) (2020-06-18T08:11:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。