DocumentCode
890867
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.
Issue
3
fYear
1967
fDate
6/1/1967 12:00:00 AM
Firstpage
282
Lastpage
289
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;
fLanguage
English
Journal_Title
Electronic Computers, IEEE Transactions on
Publisher
ieee
ISSN
0367-7508
Type
jour
DOI
10.1109/PGEC.1967.264664
Filename
4039066
Link To Document