O Serviço de Gerenciamento de Fluxo de Tráfego Aéreo (ATFM) estabelece um controle de fluxo seguro, ordenado e eficiente de acordo com a capacidade da infraestrutura e dos serviços de controle. O Gerenciamento ´e realizado com o auxílio de sistemas automatizados. Tais sistemas implementam programas que ajustam a demanda de voos à capacidade do espaço aéreo. Algoritmos simples podem sugerir medidas ATFM para solucionar a saturação em um conjunto restrito de elementos regulados (aeródromos, regiões do espaço aéreo, fixos ou aerovias). A natureza interconectada dos elementos regulados, que compõem o fluxo de tráfego aéreo, demanda uma abordagem mais abrangente para atingir o uso ótimo desses recursos, uma vez que outros problemas podem surgir quando a otimização local é aplicada a um elemento sem levar em conta seus elementos relacionados. Nem sempre há a necessidade do planejamento estratégico ser um ótimo global, uma vez que cenários viáveis e sub-ótimos encontrados com menor custo computacional podem representar soluções satisfatórias. O aumento da demanda do tráfego aéreo, no entanto, tem fomentado a aplicação de programas de geração de medidas ATFM mais complexos. Esta pesquisa implementou um programa de otimização global para a geração de medidas ATFM em cenários de larga escala do mundo real. O problema ´e modelado como um problema de programa¸c~ao inteira e o modelo adotado ´e abrangente, pois prevê atraso em solo, em voo, alteração de velocidade e rerroteamento. O programa é capaz de balancear o fluxo atendendo restrições de capacidade dos aeródromos e dos setores. Além disso, foi desenvolvida uma interface de visualização e edição de dados para os cenários estudados. Dados de voos no espaço aéreo brasileiro foram processados e utilizados para testar a solução implementada e mostraram a viabilidade do método. A utilização de um programa de otimização que leva em conta mais restrições potencialmente irá contribuir com o aumento de eficiência no uso da infraestrutura e do espaço aéreo de forma segura.

The Air Traffic Flow Management Service (ATFM) establishes a secure, orderly and efficient flow control according to the capacity of the infrastructure and control services. The Management is performed with the aid of automated systems. Such systems implement programs that adjust the flight demand to the airspace capacity. Simple algorithms might suggest ATFM measures to resolve saturation in a restricted set of regulated elements (aerodromes, airspace regions, fixes or airways). The interconnected nature of the regulated elements that make up the air traffic flow requires a more comprehensive approach to achieve optimum use of these resources, since other problems can arise when local optimization is applied to an element without regard to its related elements. There is not always a need for strategic planning to be a global optimum, since feasible and sub-optimal scenarios encountered at lower computational cost might represent satisfactory solutions. The increase in air traffic demand, however, has encouraged the application of programs to generate more complex ATFM measures. This research implemented a global optimization program for the generation of ATFM measures in large-scale real-world scenarios. The problem is modeled as an integer programming problem and the adopted model is comprehensive, since it provides ground and airborne delays, change of speed and re-routing. The program is able to balance the flow by meeting capacity constraints of the aerodromes and sectors. In addition, a visualization and data editing interface was developed for the studied scenarios. Flight data in Brazilian airspace were processed and used to test the implemented solution and the viability of the method was shown. The use of an optimization program that takes into account more constraints will potentially contribute to increase the efficiency in use of infrastructure and airspace in a secure manner.