A device dedicated to generating integrity messages relating to at least
one satellite navigation system including a set of satellite surveillance
stations and to be sent to navigation receivers. The device includes a
processor responsible for determining at chosen times the stations that
are active (i.e. nominal or degraded) for each system concerned and,
after each such determination, for generating an integrity message
including at least primary data representative of the active (i.e.
nominal or degraded) stations. The processor is also responsible, each
time it detects that at least one station has become degraded or inactive
between two successive chosen times, for generating an integrity alert
message including at least primary data representative of each station
that has become degraded or inactive. Thus, each receiver can determine
integrity information relating to the navigation messages that it has
received from the satellite navigation system to which it is tuned, given
the stations of the system that are actually active (i.e. nominal or
degraded) and one or more corresponding integrity degradation rules.