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

摘要

Although dependability case is attracted to assure system safety and availability, methods and guidelines how to develop dependability cases. In this paper, problems and issues to develop dependability cases are clarified. Then practical methods to describe dependability cases are discussed.%システムの安全性や可用性を保証するために，ディペンダビリティケースが注目されている.しかし，ディペンダビリティケースの作成法についての明確な手順や記述上のガイドラインについては必ずしも明確ではなかった.本稿では，まずディペンダビリティケース作成上の課題を明らかにする.次いで課題に対する取り組み方針につ いて述べる.