Flight Report Flight Reports Easy flight reporting! AeroTexas uses the Alpha-Tango Airline Validation System (ATAVS) for automated flight reporting, position reporting, and to verify real-time simulation without pausing or slewing. ATAVS also includes cabin announcements, and checklists, and is free to interested virtual airlines.