リアルタイムシステムにおける解析手法の検証