[1] [1] YU LZHAO G PALICE A,et al.How reliable is satellite navigation for aviation Checking availability properties with probabilistic verification［J］.Reliability Engineering and System Safety2015144:95-116.

[3] [3] U.S.Department of Defense.Global positioning system standard positioning service performance standard［R］.4th ed.Washington:DS, 2008.

[5] [5] WALTER T, BLANCH J, ENGE P. Evaluation of signal in space error bounds to support aviation integrity［J］.Navigation, Journal of the Institute of Navigation, 2010, 11(26):11-21.

[7] [7] SUN S, WANG Z P.Signal-in-space accuracy research of GPS/BDS in China region［C］//China Satellite Navigation Conference(CSNC)Proceedings, Lecture Notes in Electrical Engineering, 2016:235-245.

[10] [10] COHENOUR C, GRASS F R.GPS orbit and clock error distributions［J］.Navigation, 2011, 58(1):17-28.

[11] [11] HENG L, GAO X X, WALTER T, et al.Statistical cha-racterization of GPS signal-in-space errors［C］//Institute of Navigation-International Technical Meeting(ION ITM), 2011:312-319.