Basic Properties and a Construction Method for Fail-Safe Logical Systems

1 June 1967

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Electronic Computers

Vol. EC-16 (3) , 282-289
https://doi.org/10.1109/pgec.1967.264664

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

DESIGN METHODOLOGY
LIGHTING CONTROL
LOGIC
CIRCUITS
REDUNDANCY
MOTOR DRIVES
CONTROL SYSTEMS
TRAFFIC CONTROL
ROAD ACCIDENTS
VELOCITY CONTROL

This publication has 1 reference indexed in Scilit:

Basic Properties and a Construction Method for Fail-Safe Logical Systems
IEEE Transactions on Electronic Computers, 1967