案例分析：Air Traffic Control张平健华南理工大学软件学院1Air Traffic Control(ATC)lThe problem is to control a very large number of aircraft from take-off to landing.lProblem features:Hard real time no tolerance for missing deadlinesUltra High availabilitySafety criticalHighly distributed2Flying from point A to point B in the U.S.air traffic control system3En route centers in the United States4Flight MonitoringlFlight from Key West to DCKey west ground control(to taxi to runway)Key West Tower(take off till leaving
