Formation method for non-coherent fail-safe logic system

摘要

Fail-Safe technology is a technology on ensuring the system's safety, when system is being failure and above its fault-tolerance capability, it can be used to transfer system into fail-safe state, so as to avoid the damage of men or equipment. This paper will first introduce the basic concept of fail-safe and the characteristic and condition of fail-safe system formed by coherent function, then give a method to form the fail-safe logic struct about non-cohernet system.