An integrated method for the instantaneous ambiguity resolution using dual-frequency precise pseudo-range and carrier-phase observations is suggested in this paper. The algorithm combines the search procedures in the coordinate domain, the observation domain and the estimated ambiguity domain (and therefore benefits from the integration of their most positive elements). A three-step procedure is then proposed to enhance the reliability of the ambiguity resolution by: (1) improving the stochastic model for the double-differenced functional model in real time; (2) refining the criteria which distinguish the integer ambiguity set that generates the minimum quadratic form of residuals from that corresponding to the second minimum one; and (3) developing a fault detection and adaptation procedure. Three test scenarios were considered, one static baseline (11.3 km) and two kinematic experiments (baseline lengths from 5.2 to 13.7 km). These showed that the mean computation time for one epoch is less than 0.1 s, and that the success rate reaches 98.4% (compared to just 68.4% using standard ratio tests).
