Tijdschalen en burgerlijke tijd
GPS-tijd
Ook: GPS time
GPS-tijd is de interne tijdschaal van GPS, die op 6 januari 1980 gelijkliep met UTC maar sindsdien geen schrikkelseconden telt. Daardoor loopt GPS-tijd voor op UTC met het aantal schrikkelseconden dat sindsdien is ingevoegd (18 sinds 2017).
De satellieten zenden dat verschil mee, zodat een ontvanger de correcte UTC kan afleiden.