Test Routines Based on Symbolic Logical Statements
Journal of the ACM (JACM)
A structural theory of machine diagnosis
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
A distinguishability criterion for selecting efficient diagnostic tests
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
IEEE Transactions on Computers
Reliability Analysis of Systems with Concurrent Error Detection
IEEE Transactions on Computers
Self-Checking Combinational Logic Binary Counters
IEEE Transactions on Computers
Hi-index | 0.01 |
With the arrival of large real-time, time-shared systems, the requirement of system reliability has become even more demanding. The result of even a momentary system misbehavior could be catastrophic, since any disruption of service is experienced by all the users on-line at that time. Thus for real-time systems such as telephone switching systems, airline reservation systems, on-line teaching machine, etc., where numerous users are served, and critical real-time systems such as command and control, a high degree of system dependability and maintainability must be realized.