文献

J-GLOBAL ID：201202209187045324   整理番号：12A1207237

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

A Survey on Structured Documents for Assurance Cases

著者 (3件)： 松野裕 (名古屋大) ,  PATU Vaise (名古屋大) ,  山本修一郎 (名古屋大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 112  号： 165(KBSE2012 12-37)  ページ： 49-54  発行年： 2012年07月20日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

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

シソーラス用語： *保証 ,  *設計基準 ,  *コンシステンシー【計算機】 ,  試験装置 ,  書法 ,  文書 ,  *表記法 ,  報告書 ,  システム
準シソーラス用語： *構造化文書 ,  整合性 ,  調査報告 ,  検査システム

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： 構造化文書 ,  調査