Abstract: The present invention belongs to the field of positioning applications, particularly those requiring or benefiting from the use of geographic information and needing a high service or integrity guarantee, such as positioning by means of a satellite navigation system for users and ground vehicles circulating through a network of streets and highways for example. The invention can be used both for critical safety applications and for those entailing legal or contractual responsibilities.

Abstract: An automatic charging system for charging a vehicle for using an infrastructure delimited by a boundary during a charging period Tc based on Global Navigation Satellite Systems (GNSS) location with guaranteed performance. The system includes an onboard receiver with integrity guarantee which, in addition to providing position information, provides additional information relating to the error that can be expected in the position consisting of a health flag (denoting a Healthy/Unhealthy status), and a Radial Protection Level (RPL) relating to the amount limiting the horizontal position error according to one direction and with a probability equal to a known value IRx.

Abstract: The invention relates to a method for determining a set of passable roads or areas traveled by a user with a minimum associated probability or integrity which comprises: receiving from a GNSS system respective position solutions PVT of said user in respective instants of time ta and tb, respectively, and respective position integrity ellipses, Ia and Ib (201), with respective minimum associated probabilities, Pa and Pb, that the user is located in each of them in ta and in tb, respectively, and a position increase ?ab between ta and tb with its position increase integrity ellipse Iab (204) and its associated probability Pab; obtaining from a GIS system respective passable areas corresponding to said PVT solutions, determining a first passable integral area Sa=Ia?TGIS (202) and a second passable integral area Sb=Ib?TGIS (203) as an intersection for each instant of time of said position integrity ellipses with said passable areas; propagating said first passable integral area to the subsequent instant tb by