| | |
Summary: Model-based Fault Detection in
Powerline Networking
Anish Arora y
Ohio State University
Columbus, OH
Rajesh Jagannathan
Ohio State University
Columbus, OH
Yi-Min Wang z
Microsoft Research
Redmond, WA
Abstract
Powerline networking is increasingly becoming an important component of home
networking systems. Its reliability is however still a problem. In this paper, we
consider the popular X10 powerline communication protocol. Our main contribu-
tion is a model-based fault detection system that achieves completeness of coverage
for X10 faults. We develop experimentally a nite state automaton that models
all legal sequences of X10 commands. The task of detecting every violation of
this model is complicated by the presence of hidden state and unobservable illegal
transitions. This problem is addressed by deducing the model state indirectly from
|