This work propose a new Kalman filter-based method for integrity monitoring, following the solution separation approach of the Advanced Receiver Autonomous Integrity Monitoring (ARAIM) algorithm. This method evaluates the separation of state correction using different subsets of measurement to detect abnormalities as well as potential faulty satellites for exclusion. This approach differs from existing Kalman filter-based methods, which use innovation vector or residual vector for stochastic evaluation.