オープンソースプロジェクトにおけるフォールト修正時間予測のための確率微分方程式モデルとその応用