[論文レビュー] A Methodology for Automating Assurance Case Generation

Shreyas Ramakrishna, Charles Hartsell+3 more|arXiv (Cornell University)|Mar 11, 2020

Safety Systems Engineering in Autonomy参考文献 31被引用数 5

ひとこと要約

本論文は、システム設計アーティファクト、キュレートされた証拠、認証基準を用いて、自動的にゴール構造化表記（GSN）安全ケースを構築および評価する、自動保証ケース生成（ACG）手法を提案する。この手法は、段階的・反復的な目標分解、証拠のリンク、主張の検証を可能にする三段階のリンク・シール・エクスパンドフレームワークを採用し、安全で物理的システム（CPS）における手作業の負荷を著しく軽減するとともに、一貫性を向上させる。

ABSTRACT

Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The certification processes for these systems are stringent and require robust safety assurance arguments and substantial evidence backing. Despite the strict requirements, current practices still rely on manual methods that are brittle, do not have a systematic approach or thorough consideration of sound arguments. In addition, stringent certification requirements and ever-increasing system complexity make ad-hoc, manual assurance case generation (ACG) inefficient, time consuming, and expensive. To improve the current state of practice, we introduce a structured ACG tool which uses system design artifacts, accumulated evidence, and developer expertise to construct a safety case and evaluate it in an automated manner. We also illustrate the applicability of the ACG tool on a remote-control car testbed case study.

研究の動機と目的

• 安全で物理的システムにおける手作業による安全ケース作成の非効率性と一貫性の欠如を是正すること。
• GSN や CAE の構築を支援はするが自動化しない既存ツールの限界を克服すること。
• 認証基準に基づく、体系的で自動化された安全ケースの生成および評価手法を開発すること。
• 主張の信頼性を確保しつつ、目標分解、証拠のリンク、主張の検証における人的関与を最小限に抑えること。
• 構造的な証拠モデリングと自動評価を通じて、安全ケースの再利用性とスケーラビリティを可能にすること。

提案手法

• リンク（証拠を主張にマッピング）、シール（証拠の十分性と仮定の検証）、エクスパンド（目標を再帰的に分解）の三段階手法を採用する。
• 反復的探索を用いて、高レベルの認証基準を、原子的証拠でサポート可能な葉ノードに達するまで部分目標に分解する。
• システム設計アーティファクト（例：コンポーネントモデル）とキュレートされた証拠ストアを統合し、自動的なGSN構築を支援する。
• 生成された安全ケースの信頼性を評価するための信頼性スコアを導入し、基本的な構造を超えた信頼性の向上を図る。
• 迅速プロトタイピング手法を活用して、ACGツールチェーンのコンponentsを実装および改善する。
• 論理結合子（例：XOR）や正当化ノードの将来的なサポートを含む拡張性を備えたツール設計を実施する。

実験結果

リサーチクエスチョン

• RQ1 システム設計アーティファクトと蓄積された証拠を用いて、保証ケース生成をどのように自動化できるか？
• RQ2 認証基準を体系的・反復的に構造的GSNに分解するための手法は何か？
• RQ3 有効性を保証しつつ、重複を最小限に抑えて証拠を主張に自動リンクする方法は何か？
• RQ4 自動的に生成された安全ケースの信頼性を客観的に評価するためのメトリクスは何か？
• RQ5 人的関与をどれほど削減できるが、議論の品質や完全性は損なわれないか？

主な発見

• ACGツールは、設計アーティファクトとキュレートされた証拠ストアを用いて、GSNベースの安全ケースの自動生成に成功した。
• リンク・シール・エクスパンドフレームワークにより、認証基準を階層的GSN構造に体系的かつ反復的に分解できるようになった。
• 原子的証拠ノードモデリングにより、証拠のリンクに重複が減少し、安全ケース間での再利用性が向上した。
• 生成された安全ケースの信頼性を評価するための信頼性スコアメカニズムを導入したが、これは既存ツールと比較して画期的な特徴である。
• 実世界のCPSシナリオでの妥当性を検証するため、リモートコントロールカーのテストベッドとAEBSユースケースを用いて検証した。
• 本手法は、手作業の負荷を低減し、安全ケース作成における一貫性を向上させ、現在のアドホックで手作業に依存する実務の主な限界を是正した。