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

摘要

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