Modular GSNの定式化

• 猿渡, 卓也

• 松野, 裕

• 星野, 隆

• 山本, 修一郎

• SARUWATARI, Takuya

• MATSUNO, Yutaka

• HOSHINO, Takashi

• YAMAMOTO, Shuichiro

Bibliographic Information

Other Title

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

Abstract

Assurance Case attracts attention as a means to guarantee the safety of systems. Modular GSN has been proposed as the method that enabling of the Assurance Case Module. But Modular GSN has not been defined explicitly. In this paper, we define the Modular GSN formally.

IEICE Technical Report;SS2012-35, IEICE Technical Report;KBSE2012-37

Journal

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

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

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

Keywords

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

Details

• CRID: 1050564288758153216
• NII Article ID: 110009626588
• NII Article ID: 110009626485
• NII Book ID: AA1123312X
• HANDLE: 2237/23746
• NDL BIB ID: 023872447
• NDL BIB 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
• Text Lang: ja
• Article Type: journal article
• Data Source:
  • IRDB
  • NDL
  • CiNii Articles