Modular GSNの定式化

• 猿渡, 卓也

• 松野, 裕

• 星野, 隆

• 山本, 修一郎

• SARUWATARI, Takuya

• MATSUNO, Yutaka

• HOSHINO, Takashi

• YAMAMOTO, Shuichiro

書誌事項

タイトル別名

• Modular GSN ノ ジョウシキカ
• Formalization of Modular GSN

抄録

システムの安全性などを保証する手段として,Assurance Caseが注目されている.Assurance Caseの記法として,Assurance CaseのModule化を可能とするModular GSNが提唱されているが,明確に定義されていない.このため,本稿では,Modular GSNを形式的に定義することを試みる.

収録刊行物

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

  電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 112 (165), 151-156, 2012-07

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

キーワード

• アシュアランスケース
• ディペンダビリティ
• Modular GSN
• GSN
• Assurance Case
• Dependability

詳細情報

• CRID: 1050564288758153216
• NII論文ID: 110009626588
• NII論文ID: 110009626485
• NII書誌ID: AA1123312X
• HANDLE: 2237/23746
• NDL書誌ID: 023872447
• NDL書誌ID: 023872050
• ISSN: 09135685
• Web Site: https://nagoya.repo.nii.ac.jp/records/21598
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I023872447
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I023872050
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles