欧州を中心として、システムが重要安全性を満足することを示すためにアシュアランスケースが使用されている[1]。このため、アシュアランスケースは安全性ケース（safety case）と呼ばれていた。このアシュアランスケースを記述するための表記法は、欧州で約10年前から使用されているGSN（Goal Structuring Notation）である。今回は、このような安全性要求を確認するための実践的なゴール指向手法であるGSNに関連する話題を紹介しよう。

続きは本誌でご覧頂けます。→本誌を購入する
ご購入のお申込みは電話（03-3507-0560）でも承っております。