During the last few years, the concept of ARAIM has acquired a more significant presence and relevance over the aviation community, at such a level that different stakeholders and standardization entities are working on the development of a combined DFMC SBAS and ABAS standard. Currently, ABAS (aircraft based augmentation system) is covered by RAIM (Receiver Autonomous Integrity Monitoring), which allows assuring the integrity of the navigation information received by the aircraft from GPS satellites for non-precision approach services. The receivers perform integrity checks considering a set of fixed assertions regarding the nominal performances and probability of faults for single-frequency GPS satellites. ARAIM (Advanced Receiver Autonomous Integrity Monitoring) solution consists of an evolution of the traditional RAIM concept providing a mechanism to update the information related to the fault rates of GNSS core constellations. To compute this information, a ground segment infrastructure shall be responsible for monitoring the GNSS constellations, computing and codifying the ARAIM integrity support message or ISM. ARAIM service expands the traditional single-constellation, single-frequency RAIM solution towards a world-wide and the multi-constellation, dual-frequency receiver concept.