I had naively assumed that GPS time and TAI were the same thing until I saw this answer: https://space.stackexchange.com/a/22244/12508
I know that there are differences between Terrestrial Time (TT) and TAI of ~32.184 seconds, but that is only accurate to the millisecond place I think. The differences between TAI and UTC are the usual leap seconds [e.g., see Franz and Harper, 2002], but is that accurate to the nanosecond?
So suppose I am given GPS times and need to convert those to UTC and need to be accurate to the nanosecond. Can I simply use the ~19 second difference mentioned in David's answer to convert to TAI and then add on leap seconds to get UTC?
Must I give in and be forced to learn JPL's SPICE software?
Other relevant but not directly related questions:
- How to obtain UTC of the epoch time in a satellite TLE (two line element)?
- Time, UTC, Julian Date, TLE epoch - how are they related quantitatively?
References
- Franz, M. and D. Harper "Heliospheric coordinate systems," Planet. Space Sci. 50, pp. 217--233, doi:10.1016/S0032-0633(01)00119-2, 2002.