Не знаю, как там в реальности, но если бы зависимость была б действительно линейной, то почему конструкторы не учли её, ведь реализовать такую поправку "в железе" было бы элементарной задачей. Похоже всё-таки, что этот момент в игре упрощён.
Простите, а нахер поправка нужна? Пилота интересует IAS, TAS же ему весьма паралелен, хотя в современных самолётах есть и то и другое.