Sistemi informatici critici per il controllo del traffico aereo

Questo documento presenta un'analisi dei sistemi critici utilizzati nel controllo del traffico aereo. Pur evidenziando alcuni limiti dei sistemi attuali, presenta anche i miglioramenti che possono essere implementati nei nuovi sistemi di controllo del traffico aereo, come ad esempio un progetto radar basato sulla tecnologia di sorveglianza del traffico aereo: ADS-B (Automatic dependent surveillance- broadcast) e la comunicazione di dati via satellite.