int getTakeOffStatus() { return takeOffStatus; };
void checkTcas();
+ double calcVerticalSpeed(double vert_ft, double dist_m, double speed, double error);
FGATCController * getATCController() { return controller; };
time_t timeElapsed;
PerformanceData* _performance; // the performance data for this aircraft
+
+ void assertSpeed(double speed);
};