Fundamentals of Computer Alori
Fundamentals of Computer Alori
Fault detection using abstracted models of finite-state machines
Fault detection using abstracted models of finite-state machines
Abstractions of Finite-State Machines Optimal with Respect to Single Undetectable Output Faults
IEEE Transactions on Computers
Hi-index | 14.98 |
We introduce a scheme for passive node-level fault detection in a distributed system. With each system node associate a low-cost, low-complexity observer which monitors the pattern of incoming and outgoing messages and compares it against an abstracted model of the node's behavior. We develop a fault detection procedure, which is probabilistic because of nondeterminism in the simplified node model. Abstraction reduces model complexity, but renders some errors undetectable by the observer. In the paper we characterize these undetectable errors. Succeeding studies show how to select model abstractions to lower the number of undetectable errors.