“Legacy aviation software is difficult to modernize because it is deeply coupled with on-premise compute hardware, requiring manual, facility-by-facility updates.”