関連持続性確認システム、方法およびプログラム

摘要

関連持続性確認システムは、与えられたフォールトトレランスシステムの構造関数の制限を、コンポーネントのカバーされる障害を表す変数の真および偽の評価について評価する関数制限部２１０と、関数制限部２１０により評価された制限の連言標準形を簡約化するＣＮＦ簡約部２２０と、ＣＮＦ簡約部２２０により簡約化されたＣＮＦを比較することによって、コンポーネントの持続性を確認する持続性確認部２３０とを備える。