Statistics for セーフティクリティカルシステム向け複数エラーに対する冗長機構