安全性解析の統一的手法 : フェールセーフCPUボードへの適用  [in Japanese] Unified Method for System Safety Analysis : Experimental Evaluation of a Fail-safe CPU board  [in Japanese]

従来の安全性評価手法は、「様々な技術を有機的に組み合わせて故障の影響を未然に防いでいる」動的な安全性技法の実態を十分に評価し得るものではなかった。本論文では、構造的に定まる安全性のメカニズムを統一的に表現する方法論を提案し、式の展開によりリスクレベルや危険側障害の発生確率、個々の安全性技術の有効性など目的の尺度に応じた評価値を算出できることを示す。また、実際に電子連動装置等に用いられているフェールセーフCPUボードを対象とした解析を行い、本手法の有効性を確認する。

This paper proposes a unified method for system safety analysis and safety evaluation, which facilitates the evaluation of the relationship between different safety techniques, and is applicable to risk, safety event and criticality analyses. As a case study, we applied this method to a fail-safe microcomputer called SPAC-8 in the Computerized Interlocking System and other system. This paper introduces the applicability of the method.