冗長安全計装システム（SIS）において、同時検証テストに比べて、交差検証テストはシステムの不可用性や平均要求失敗確率（PFD）を低減するのにより効果的である。本論文では、k-中-n構造を持つSISのPFDを計算する方法を提案し、周期的検証テストにおける均一交差テストと同時テストのPFD式を分析した。同一または異なる故障率を持つ冗長ユニットに対して、本論文はk-中-n構造SISにおける均一交差テスト計画の最適性を検討する。さらに、本論文は国際電気標準会議（IEC）61508で採用されている共因故障（CCF）モデルに基づくk-中-n構造交差テスト計画を研究し、数値例を用いて比較を行った。

安全計装システム;交差検証テスト;要求失敗確率;k-中-n構造