Research on Inertial Navigation-Aided GNSS Integrity Monitoring Algorithm Under Constraints | Synapse