論文の概要: Modular Assurance of Complex Systems Using Contract-Based Design
Principles
- arxiv url: http://arxiv.org/abs/2402.12804v1
- Date: Tue, 20 Feb 2024 08:23:06 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-21 16:18:59.272138
- Title: Modular Assurance of Complex Systems Using Contract-Based Design
Principles
- Title(参考訳): 契約に基づく設計原理を用いた複雑システムのモジュール保証
- Authors: Dag McGeorge, Jon Arne Glomsrud (Group Research and Development, DNV,
H{\o}vik, Norway)
- Abstract要約: 我々は,契約ベース開発(CBD)を用いて,モジュール化による保証ケースの簡易化を提案する。
CBD(CBD)は、コンピュータ科学で開発された複雑性を管理する方法である。
本論文は,高品質なモジュール型保証ケースを開発する実践者を支援するために,親指の4つのルールを動機付けている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A growing number of safety-critical industries agree that building confidence
in complex systems can be achieved through evidence and structured
argumentation framed in assurance cases. Nevertheless, assurance cases can
easily become too rigorous and difficult to develop and maintain when applied
to complex systems. Therefore, we propose to use contract-based development
(CBD), a method to manage complexity originally developed in computer science,
to simplify assurance cases by modularizing them. This paper will not only
summarize relevant previous work such as constructing consistent modular
assurance cases using CBD, but more importantly also propose a novel approach
to integrate CBD with the argumentation in assurance case modules. This
approach will allow interdisciplinary subject-matter and domain experts to
build assurance cases together without even knowing about CBD. This helps
subject matter experts outside of computer science to reap benefits from CBD
and helps with interdisciplinary co-development of assurance cases that cover
all the required fields. This paper motivates four rules of thumb aimed to help
practitioners developing high-quality modular assurance cases. It also explains
how modularization of assurance is an enabler for multi-concern assurance that
accounts for the inter-dependency of different concerns such as safety,
security and performance.
- Abstract(参考訳): ますます多くの安全クリティカルな産業が、複雑なシステムへの信頼の構築は、保証ケースに組み合わされた証拠と構造化された議論によって達成できると合意している。
それでも、複雑なシステムに適用した場合、保証ケースは厳格になり、開発や保守が困難になる可能性がある。
そこで本稿では,コンピュータサイエンスで開発された複雑性を管理する手法であるCBD(Contract-based Development)を用いて,モジュール化による保証ケースの簡素化を提案する。
本稿では,CBDを用いた一貫したモジュール保証ケースの構築など,従来と関連する作業の要約だけでなく,CBDとアシュアランスケースモジュールの議論を統合する新たなアプローチを提案する。
このアプローチにより、学際的対象者やドメインの専門家がCBDを知らずに、一緒に保証ケースを構築できる。
これにより、コンピュータサイエンス以外の分野の専門家がCBDの恩恵を享受し、必要なすべての分野をカバーする保証ケースの学際的共同開発を支援する。
本稿は,高品質なモジュール性保証ケースを開発する実践者を支援するために,親指の4つのルールを動機付ける。
また、アシュアランスのモジュール化が、安全性、セキュリティ、パフォーマンスなど、さまざまな関心事の相互依存性を考慮に入れたマルチコンテナ保証の有効化方法についても説明している。
関連論文リスト
- Harnessing GPT-4V(ision) for Insurance: A Preliminary Exploration [51.36387171207314]
保険には、テキスト、画像、ビデオなど、その運用プロセスにおけるさまざまなデータフォームが含まれる。
GPT-4Vは、保険関連のタスクにおいて顕著な能力を示し、マルチモーダルコンテンツの堅牢な理解を示す。
しかし、GPT-4Vは、詳細なリスク評価と損失評価に苦慮し、画像理解における幻覚に悩まされ、異なる言語に対する可変サポートを示す。
論文 参考訳(メタデータ) (2024-04-15T11:45:30Z) - ACCESS: Assurance Case Centric Engineering of Safety-critical Systems [9.388301205192082]
保証ケースは、安全性やセキュリティなどの重要なシステム特性について、コミュニケーションし、信頼性を評価するために使用されます。
近年,システム保証活動の効率化と品質向上のために,モデルに基づくシステム保証アプローチが普及している。
モデルに基づくシステム保証ケースが異種工学的アーティファクトにどのように辿り着くかを示す。
論文 参考訳(メタデータ) (2024-03-22T14:29:50Z) - Towards Continuous Assurance Case Creation for ADS with the Evidential
Tool Bus [0.4194295877935868]
保証ケースは、安全クリティカルなシステムの認証に不可欠な要素となっている。
本稿では,ツール統合フレームワーク Evidential Tool Bus (ETB) を利用した保証ケースの構築と継続的メンテナンスの予備的経験について報告する。
論文 参考訳(メタデータ) (2024-03-04T10:32:48Z) - Trusta: Reasoning about Assurance Cases with Formal Methods and Large
Language Models [4.005483185111992]
Trustworthiness Derivation Tree Analyzer (Trusta)は、TDTを自動構築し検証するデスクトップアプリケーションである。
バックエンドにはPrologインタプリタが内蔵されており、制約解決器Z3とMONAによってサポートされている。
Trustaは自然言語のテキストから形式的な制約を抽出し、解釈と検証を容易にする。
論文 参考訳(メタデータ) (2023-09-22T15:42:43Z) - On the Complexity of Multi-Agent Decision Making: From Learning in Games
to Partial Monitoring [105.13668993076801]
マルチエージェント強化学習(MARL)理論における中心的な問題は、構造条件やアルゴリズムの原理がサンプル効率の学習保証につながるかを理解することである。
本稿では,複数のエージェントを用いた対話型意思決定のための一般的な枠組みとして,この問題について考察する。
マルチエージェント意思決定における統計的複雑性を特徴付けることは、単一エージェント決定の統計的複雑性を特徴付けることと等価であることを示す。
論文 参考訳(メタデータ) (2023-05-01T06:46:22Z) - Recursively Feasible Probabilistic Safe Online Learning with Control
Barrier Functions [63.18590014127461]
本稿では,CBFをベースとした安全クリティカルコントローラのモデル不確実性を考慮した再構成を提案する。
本研究では,ロバストな安全クリティカルコントローラの実現可能性について検討する。
次に、これらの条件を使って、イベントトリガーによるオンラインデータ収集戦略を考案します。
論文 参考訳(メタデータ) (2022-08-23T05:02:09Z) - Is Vertical Logistic Regression Privacy-Preserving? A Comprehensive
Privacy Analysis and Beyond [57.10914865054868]
垂直ロジスティック回帰(VLR)をミニバッチ降下勾配で訓練した。
我々は、オープンソースのフェデレーション学習フレームワークのクラスにおいて、VLRの包括的で厳密なプライバシー分析を提供する。
論文 参考訳(メタデータ) (2022-07-19T05:47:30Z) - Cooperative Multi-Agent Actor-Critic for Privacy-Preserving Load
Scheduling in a Residential Microgrid [71.17179010567123]
本稿では,分散型アクターを分散批評家に教育する,プライバシ保護型マルチエージェントアクター批判フレームワークを提案する。
提案手法は,家庭のプライバシを保護しつつ,暗黙的にマルチエージェントの信用代入メカニズムを学習する。
論文 参考訳(メタデータ) (2021-10-06T14:05:26Z) - On the Explanation of Similarity for Developing and Deploying CBR
Systems [0.8223798883838329]
この研究は、E-Healthアプリケーションを開発するAIと公衆衛生研究者の学際的な共同研究の結果である。
この作業の間、ドメインの専門家による詳細な品質保証を可能にするために、開発プロセスの説明可能性と透明性が不可欠です。
論文 参考訳(メタデータ) (2021-05-09T08:43:27Z) - Privacy-preserving medical image analysis [53.4844489668116]
医用画像におけるプライバシ保護機械学習(PPML)のためのソフトウェアフレームワークであるPriMIAを提案する。
集合型学習モデルの分類性能は,未発見データセットの人間専門家と比較して有意に良好である。
グラデーションベースのモデル反転攻撃に対するフレームワークのセキュリティを実証的に評価する。
論文 参考訳(メタデータ) (2020-12-10T13:56:00Z) - Quantifying Assurance in Learning-enabled Systems [3.0938904602244355]
機械学習コンポーネントを組み込んだシステムの依存性保証は、安全クリティカルなアプリケーションで使用する上で重要なステップである。
本稿では, LESが信頼できるという保証の定量的概念を, 保証ケースのコアコンポーネントとして開発する。
本稿では,現実の自律型航空システムへの適用による保証対策の有用性について述べる。
論文 参考訳(メタデータ) (2020-06-18T08:11:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。