ディペンダビリティケース分解パターンについての考察

• 山本, 修一郎

• 松野, 裕

• YAMAMOTO, Shuichiro

• MATSUNO, Yutaka

書誌事項

タイトル別名

• ディペンダビリティケース ブンカイ パターン ニ ツイテ ノ コウサツ
• A Consideration on Dependability Case decomposition patterns

抄録

ディペンダビリティケースがシステムの安全性や説明責任を保証する方法として注目されている.このため,ディペンダビリティケースでの議論分解を効果的に扱うために議論分解パターンが提案されている.しかし,議論分解パターンの具体的な内容の詳細については必ずしも明確ではなかった.また,既存の分解パターンだけでは,実際にディパンダビリティケースを作成する上では十分ではないという問題があった.このため,本報告では,ディペンダビリティケースの分解パターンを構成する記述項目とディペンダビリティケースの記述例とを対応づけて明確化することにより,ディペンダビリティケースの作成を支援する手法を提案する.

収録刊行物

• 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学

  電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 112 (496), 67-72, 2013-03

  一般社団法人電子情報通信学会

キーワード

• ディペンダビリティケース
• アシュアランスケース
• 議論分解パターン
• リスク分析
• Dependability case
• Assurance Case
• Argumentation decomposition pattern
• Risk analysis

詳細情報

• CRID: 1050001338804738560
• NII論文ID: 110009713304
• NII書誌ID: AA1123312X
• HANDLE: 2237/23763
• NDL書誌ID: 024417700
• ISSN: 09135685
• Web Site: https://nagoya.repo.nii.ac.jp/records/21615
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I024417700
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles