研究成果の一部をツールとして公開しています．

SRATS

Excel 上でフォールトデータからソフトウェア信頼度を測るツール．

（取り扱い説明書＆ダウンロード）

mapfit

マルコフ型到着過程（MAP: Markovian Arrival Process）と 位相型分布（PH: Phase-Type Distribution）のパラメータ推定をデータから行うツール．R パッケージとして提供しています （ページへ）．