An ARAIM adaptation for Kalman Filter