Diagnosability of GNSS/IMU system without hardware redundancy