  Bayesian receiver autonomous integrity monitoring (RAIM) algorithms are
developed for the snapshot cellular positioning problem in a simplified
one-dimensional (1D) linear Gaussian setting. Position estimation, multi-fault
detection and exclusion, and protection level (PL) computation are enabled by
the efficient and exact computation of the position posterior probabilities via
message passing along a factor graph. Computer simulations demonstrate the
significant performance improvement of the proposed Bayesian RAIM algorithms
over a baseline advanced RAIM algorithm, as it obtains tighter PLs that meet
the target integrity risk (TIR) requirements.
