本論文ではソフトウェアの動的信頼度予測のモデルとして信頼度ペトリネットのモデルを提案する.組合せ型形態のモデル(たとえばソフトウェアのフォールトツリー, 信頼度ブロックダイアグラム, モジュールグラフと直接acyclicグラフ)は並列, 同時処理およびembedded型のソフトウェアの動的な信頼度の予測には適していない.このような短所を克服するためCondition/Event Netを信頼度の予測に適用できるよう拡張したRPN(Reliability Petri Net)を定義して, ソフトウェアのモデル化の段階から性能評価と共に動的な信頼度の予測ができるようにした.