抄録

○岩井仁司（所属なし）

著者は、多数決手段を含むシステム中の、いかなる故障をもマスクする、n-フォールトトレラントシステムを提案している。このシステムは、運用中でも故障カウントが可能である。本稿では、故障カウントのルールおよび信頼度について検討している。信頼度の計算では、順序依存性故障論理が存在するケースがあり、非常に複雑であることがわかった。
ハザードを取り扱うシステムでは単に信頼度が高いというよりも､あらゆる人が納得できる安全性のストーリーが重要になってくる。どこが壊れても許容でき、かつ運用中でも故障数がカウントできるので、常に安全かどうかが判断できる、このシステムは、必ず世の中に普及していくであろう。