Title :
Basic Properties and a Construction Method for Fail-Safe Logical Systems
Author :
Mine, Hisashi ; Koga, Yoshiaki
Author_Institution :
Dept. Appl. Math. and Phys., Faculty of Engineering, Kyoto University, Kyoto, Japan.
fDate :
6/1/1967 12:00:00 AM
Abstract :
In this paper, the authors study ``fail-safe´´ properties of logical systems, finding the conditions that the basic logical functions of fail-safe logical systems should satisfy and also identifying the allowable failures for the basic logical function circuits. With these results, the authors present a systematic representation of fail-safe logical systems, and an effective method of logical design for fail-safe systems.
Keywords :
Circuits; Control systems; Design methodology; Lighting control; Logic; Motor drives; Redundancy; Road accidents; Traffic control; Velocity control; Error correction in logical design; fail-safe logical design; logical design; redundancy in logical design; reliable logical networks;
Journal_Title :
Electronic Computers, IEEE Transactions on
DOI :
10.1109/PGEC.1967.264664
