In certified airplanes where the service ceiling is high enough where the Vne factors that are influenced by TAS are limiting, they use a "barber pole" (Vmo) that moves based on altitude. As altitude goes up, Vmo comes down so that the it depicts the redline against IAS. Perhaps what is really...