拡張優先ANDゲートの概念を応用した回復系のダイナミックフォールトトリー解析

摘要

優先ANDゲートなどのダイナミックなゲートを含むフォールトトリーの定量解析法としては，マrnルコフ解析とBDDを組み合わせたものなど，非回復系（非修理系）についてはこれまでにいくつか提案されてrnいる・しかし，基本事象が発生/回復を繰り返す回復系（修理系）のダイナミックフォールトトリーについては解rn析法がほとんど研究されていない．本論文では，筆者らが既に提案した拡張優先ANDゲートの概念を応用するrn形で，コンピュータの計算能力を最大限に活用することを念頭に，すべてを効率的にマルコフ解析で処理し，頂rn上事象の発生形態に応じた，優先ANDゲートを含む回復系のダイナミックフォールトトリーの解析法を提案すrnる．本解析法はフォールトトリー解析の可能性を広げる意味で非常に大きな意義がある．