Sistemas Computacionais Críticos de Controle de Tráfego Aéreo

Este trabalho apresenta uma análise dos sistemas críticos utilizados no controle de tráfego aéreo. Enquanto aponta algumas limitações dos sistemas atuais, também apresenta melhorias que podem ser implementadas em novos sistemas de controle do tráfego aéreo, como um projeto radar baseado na tecnologia de vigilância controle de tráfego aéreo: ADS-B (Automatic dependent surveillance- broadcast) e comunicação de dados por satélite.