アシュアランスケースへの構造化文書の適用に関する調査

• 松野, 裕

• パトゥ, ヴァイセ

• 山本, 修一郎

• MATSUNO, Yutaka

• PATU, Vaise

• YAMAMOTO, Shuichiro

書誌事項

タイトル別名

• アシュアランスケース エ ノ コウゾウカ ブンショ ノ テキヨウ ニ カンスル チョウサ
• A Survey on Structured Documents for Assurance Cases

抄録

安全性などの分野において、近年アシュアランスケースと呼ばれる手法が普及している。アシュアランスケースはシステムの安全性などを、エビデンスを元に議論するためのドキュメントであり、表記法としてGSN(Goal Structuring Notation)などが使われている.しかしGSNなどで書かれたアシュアランスケースは弱く構造化された自然言語で記述するため、システムが複雑化されるにつれ記述や管理が困難になる。このため、アシュアランスケースを変数やテンプレート、パターンなどを使って記述することができるツールなどが開発されている。本稿ではそれらを調査する。

収録刊行物

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

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

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

キーワード

• アシュアランスケース
• 構造化文書
• Assurance Case
• Structured Documents

詳細情報

• CRID: 1050001338804733056
• NII論文ID: 110009626571
• NII論文ID: 110009626270
• NII書誌ID: AA1123312X
• HANDLE: 2237/23749
• NDL書誌ID: 023872265
• NDL書誌ID: 023871761
• ISSN: 09135685
• Web Site: https://nagoya.repo.nii.ac.jp/records/21601
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I023872265
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I023871761
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles