ディペンダビリティケース作成法に関する一考察

摘要

システムの安全性や可用性を保証するために，ディペンダビリティケースが注目されている．しかし，ディペンダビリティケースの作成法についての明確な手順や記述上のガイドラインについては必ずしも明確ではなかった．本稿では，まずディペンダビリティケース作成上の課題を明らかにする．次いで課題に対する取り組み方針について述べる．