アシュアランスケースへの構造化文書の適用に関する調査
Bibliographic Information
- Other Title
-
- アシュアランスケース エ ノ コウゾウカ ブンショ ノ テキヨウ ニ カンスル チョウサ
- A Survey on Structured Documents for Assurance Cases
Search this article
Abstract
In safety critical area, recently assurance cases have been widely used. Assurance cases are structured documents for assuring safety/dependability/etc of the system based on evidence. Assurance cases are often written in a graphical notation such as GSN (Goal Structuring Notation). However, assurance cases in GSN and other notations are written in mostly weakly structured natural languages, so it is difficult to write and verify assurance cases. To ease the difficulty, several studies have been conducted. In this paper we survey such studies.
IEICE Technical Report;SS2012-18, IEICE Technical Report;KBSE2012-20
Journal
-
- 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
-
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 112 (165), 49-54, 2012-07
一般社団法人電子情報通信学会
- Tweet
Details 詳細情報について
-
- CRID
- 1050001338804733056
-
- NII Article ID
- 110009626571
- 110009626270
-
- NII Book ID
- AA1123312X
-
- HANDLE
- 2237/23749
-
- ISSN
- 09135685
-
- Text Lang
- ja
-
- Article Type
- journal article
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles