In this paper we introduce a ground monitoring architecture to validate the Integrity Support Message (ISM) parameters to be used by aircraft for Advanced Receiver Autonomous Integrity Monitoring (ARAIM). This work focuses on two critical ISM parameters: Psat, which designates the prior probabilities of satellite faults, and bmax, which is a range domain bound on small faults that may occur at probabilities higher than Psat. We show that the choices of bmax and Psat are not independent. The paper first establishes the relationship between bmax, Psat, Time to Integrity Alert (TIA) and constellation service provider performance commitments. We then provide an example ground monitor design that detects inter-frequency bias faults and code-carrier divergence faults. We show that the performance of the monitor can be used to validate specific bmax and Psat values for ARAIM.
