［チュートリアル］アシュアランスケース演習～ツールを使って書いてみよう！！

摘要

近年システムの安全性やディペンダビリティを、さまざまなステークホルダに保証することが重要になっている。システム保証の手法として、近年アシュアランスケース（アシュアランスケース）が欧米で注目を集めている。しかし、航空管制システムなどの高安全システムなどをこれまで対象としてきたこと、英語による専門書しかなかったことから、日本での普及は初期段階にある。筆者らは、JSTCREST DEOSプロジェクトなどにおいて、ディペンダブルな組込みシステムの開発を目指してきた。ディペンダブルなシステムのためには、システム保証は本質であると考え、アシュアランスケースを日本で先駆けて研究開発をおこなってきた（詳細はww.dcase.jp を参照）。今回は、ツールを用いた実践的なチュートリアルを行う。