Global Air ICAO Plano de Navegacao para CNS / ATM do sistema no documento Doc Codigo 9623, que contem o calendario para a implementacao do CNS / ATM e estabelece um prazo para a implementacao de novos sistemas aeronauticos do ano de 2010. O principal alvo destes planos de beneficios sao: Digital Data Communications: A aeronave passara a fazer parte de uma rede mundial de comunicacao de dados e pode enviar e receber informacoes que antes so podiam viajar sobre os canais de voz; Precisao de Navegacao Global: em qualquer ponto do globo terao os sistemas da aeronave de posicionamento e sistemas de vigilancia que pode relatar com precisao as suas localizacoes geograficas; Gerenciamento Unificado: a gestao do trafego aereo unificado sera apoiada em sistemas que permitem que as agencias de gestao a utilizar detalhada, confiavel e em tempo real, bem como ferramentas computacionais para automacao e apoio a decisao. A ideia e que os operadores gastam menos tempo com tarefas tediosas e repetitivas e desfrutar o melhor momento para otimizar os recursos do sistema, aumentando assim sua capacidade.Para alem dos beneficios localizadas, e essencial que o sistema e economicamente viavel e beneficio sistemica (global) eficaz, especialmente quando se trata de fiabilidade e seguranca dos sistemas aeronautica.A aplicacao local das diretrizes do CNS / ATM sera promovido pelos governos nacionais. O campo da tecnologia nesta area e de interesse estrategico, tanto do ponto de vista da defesa do territorio, como o ponto de vista economico, porque a prestacao de trafego aereo tem uma maior rentabilidade do que o obtido pelos operadores de transportes proprios.O Projeto CNS / ATM vai aumentar a quantidade de ferramentas de automacao utilizados. Voce deve perceber que a comunidade cientifica uma grande quantidade de pesquisa para fornecer metodologias e razoes sistemicas, especialmente matematicamente, para avaliacao e verificacao de sistemas de seguranca relacionados com a automacao ea capacidade de trafego aereo. Esta dissertacao se propoe a oferecer um grande avanco neste campo. Durante a decada de 1990, 16 categorias diferentes de acidentes de aeronaves foram identificadas. Uma analise destas categorias sugere que nove deles, o equivalente a 79% dos acidentes estao relacionados com a automatizacao. Como usar o software de automacao de forma intensiva, ha uma forte razao para o desenvolvimento de metodologias que tem foco em seguranca de software. Uma vez que as metodologias baseadas para a avaliacao e verificacao da seguranca e da capacidade do sistema de trafego aereo, voce pode alavancar o desenvolvimento de ferramentas de automacao, que permitem a flexibilidade prevista para a aprovacao e acompanhamento dos procedimentos de voo. Dentro deste cenario, que se aproxima o ar do sistema operacional de transporte sob o paradigma do voo-livre, e possivel avaliar se esse paradigma pode ser realizado com um aumento na capacidade de trafego. Para todo esse progresso, parece util estabelecer algumas regras sobre a apresentacao de planos de voo, associando essas regras para um sistema eficaz de beneficios e penalidades para assegurar a regularidade do seu cumprimento. Assim, o voo-livre pode se tornar realidade.