[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

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

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

Citations (1)*help

See more

References(58)*help

See more

Related Articles

See more

Related Data

See more

Related Books

See more

Related Dissertations

See more

Related Projects

See more

Related Products

See more

Details

Report a problem

Back to top