Le trafic aérien en Europe représente environ 30 000 vols quotidiens actuellement. Selon les prévisions de l’organisme Eurocontrol, ce trafic devrait croître de 70% d’ici l’année 2020 pour atteindre 50 000 vols quotidiens. L’espace aérien, découpé en zones géographiques appelées secteurs de contrôle, atteindra bientôt son niveau de saturation vis-à-vis des méthodes actuelles de planification et de contrôle. Afin d’augmenter la quantité de trafic que peut absorber le système, il est nécessaire de diminuer la charge de travail des contrôleurs aériens en les aidant dans leur tâche de séparation des avions. En se fondant sur les demandes de plans de vol des compagnies aériennes, nous proposons une méthode de planification des trajectoires en 4D permettant de présenter au contrôleur un trafic dont la plupart des conflits auront été évités en avance. Cette planification s’établit en deux étapes successives, ayant chacune un unique degré de liberté : une allocation de niveaux de vol permettant la résolution des conflits en croisière puis une allocation d’heures de décollage permettant de résoudre les conflits restants. Nous présentons des modèles pour ces deux problèmes d’optimisation fortement combinatoires, que nous résolvons en utilisant la programmation par contraintes ou les algorithmes évolutionnaires, ainsi que des techniques permettant de prendre en compte des incertitudes sur les heures de décollage ou le suivi de trajectoire. Les simulations conduites sur l’espace aérien français mènent à des situations où tous les conflits sont évités, avec des retards alloués de l’ordre d’une minute en moyenne (80 à 90 minutes pour le vol le plus retardé) et un écart par rapport à l’altitude optimale limité à un niveau de vol pour la quasi totalité des vols. La prise en compte d’incertitudes de manière statique dégrade fortement ces solutions peu robustes, mais nous proposons un modèle dynamique utilisant une fenêtre glissante susceptible de prendre en compte des incertitudes de quelques minutes avec un impact réduit sur le coût de l’allocation. / Air traffic in Europe represents about 30,000 flights each day and forecasts from Eurocontrol predict a growth of 70% by 2020 (50,000 flights per day). The airspace, made up of numerous control sectors, will soon be saturated given the current planification and control methods. In order to make the system able to cope with the predicted traffic growth, the air traffic controllers workload has to be reduced by automated systems that help them handle the aircraft separation task. Based on the traffic demand by airlines, this study proposes a new planning method for 4D trajectories that provides conflict-free traffic to the controller. This planning method consists of two successive steps, each handling a unique flight parameter : a flight level allocation phase followed by a ground holding scheme.We present constraint programming models and an evolutionary algorithm to solve these large scale combinatorial optimization problems, as well as techniques for improving the robustness of the model by handling uncertainties of takeoff times and trajectory prediction. Simulations carried out over the French airspace successfully solved all conflicts, with a mean of one minute allocated delay (80 to 90 minutes for the most delayed flight) and a discrepancy from optimal altitude of one flight level for most of the flights. Handling uncertainties with a static method leads to a dramatic increase in the cost of the previous non-robust solutions. However, we propose a dynamic model to deal with this matter, based on a sliding time horizon, which is likely to be able to cope with a few minutes of uncertainty with reasonable impact on the cost of the solutions.

Cette thèse s'intéresse au problème de conception optimale des routes de départ et d'arrivée dans une zone terminale autour d'un aéroport. Cette conception prend en compte la configuration et l'environnement autour des aéroports, et les différentes contraintes sous-jacentes, notamment l'évitement des obstacles et la séparation des routes. Nous proposons une formulation mathématique conduisant à un problème d'optimisation combinatoire, ainsi que des méthodes de résolution ad hoc efficaces pour le problème. Pour la résolution du problème, nous procédons en deux étapes. Nous considérons d'abord la conception d'une route de longueur minimale évitant les obstacles, en utilisant la méthode de Branch and Bound (B&B). Ensuite, nous nous intéressons à la conception de plusieurs routes en assurant en plus la séparation des routes. Deux approches différentes sont appliquées : une méthode basée sur la méthode B&B pour construire les routes séquentiellement suivant un ordre fixé à l'avance, et une méthode de recuit simulé pour construire les routes simultanément. Les résultats sur un ensemble de problèmes tests (artificiels et réels) montrent l'efficacité de notre approche. / This thesis proposes a methodology for the optimization of departure and arrival routes in the Terminal Maneuvering Area (TMA). The design of these routes takes into account the configuration and environment around airports, and the related constraints, in particular the avoidance of obstacles and the separation between routes. We propose a mathematical formulation leading to a combinatorial optimization problem, as well as efficient ad hoc resolution methods for the problem. The problem is solved in two steps. First, we design an individual route avoiding obstacles with respect to minimum route length by using a Branch and Bound (B&B) method. Afterwards, the design of multiple routes is solved by two different approaches: a B&B-based approach (where routes are generated sequentially in a given order) and a Simulated Annealing approach (where routes are generated simultaneously). The simulation results of a set of (artificial and real) test problems show the efficiency of our approach.

台灣自1987年開放天空政策以來，各大小航空公司紛紛成立。低成本航空(LCC)也開始積極進入台灣市場。台灣與日本於2011年11月10簽屬日航空協定，此後，捷星(Jetstar)、樂桃(Peach)等低成本航空如雨後春筍般進入台灣，進而激起了許多低成本航空對於傳統航空(FSC)衝擊之討論。然而，低成本航在日本航載客率上是否真的對傳統航空造成影響？具體影響的程度為何？鮮有文獻深入探討。 本文針對大阪、成田、名古屋、琉球四條航線，透過敘述性統計、相關分析、多元迴歸分析之方法，將產業變數之、總體環境變數分別對華航、長榮載客率2011年至2016年之月資料進行分析。並進一步透過BCG矩陣歸納出兩家航空公司四條航線的成長率與市占率分布情形。 研究結果顯示，在日本四條航線上，低成本航空皆沒有與傳統航空載客率造成負向影響，反觀整體旅日市場上升，兩者市場區隔，形成二種經營型態共榮共存的局面。攸關日本線最顯著之變數為淡旺季、次者為消費者信心指數。在BCG矩陣研究結果顯示，中華航空四條航線市場占有率高、成長率低的情形；長榮航空相對市場佔有率低於中華航空，但是大阪線與琉球線的成長率卻高。 根據研究結果，分別對中華航空、長榮航空四條航線上提出各項建議，供航空業者、相關研究人員未來研究之參考。 / Since Taiwan agreed to initiate its Open-skies Policy in 1987, various airline companies began to form, including low-cost carriers (LCC) which eagerly entered Taiwanese markets. Taiwan and Japan reached aviation agreements on November 10, 2011; many LCCs such as Jetstar and Peach emerged as rising competitors in Taiwan, sparking a discussion about their impact on other full-service carriers (FSC). Do LCCs really pose a threat to FSCs in air travel between the two countries? To what extent do they affect those companies? Few sources have explored in detail. This research focuses on four destinations - Osaka, Tokyo Narita, Nagoya and Okinawa - based on descriptive statistics, correlation analysis and multiple regression analysis (MRA), while taking a close look at marketing and overall environmental factors in travel data between China Airlines and EVA Air (2011-2016, monthly). The growth and market share distributions of these four routes, operated by both companies, can be furthermore described using BCG matrices. The research concludes that, with respect to these four Japanese travel routes, LCCs did not create a negative impact on FSCs. Increasing traffic between Taiwan and Japan, in fact, facilitated prosper coexistence between the two types of carriers. Among the most significant factors are peak and low seasons, in addition to consumer confidence. BCG matrix analyses indicate that China Airlines had greater market shares and smaller growth rates; although EVA Air possessed fewer market shares than China Airlines, their Osaka and Okinawa routes grew at a rapid rate. The results of these observations may serve as suggestions to China Airlines and EVA Air, as well as references for aviation professionals and future researchers.

My thesis is focused on the comparison of traditional and low-cost air companies and its perspective into the future. The theoretical part is focused on a description and an analysis of air traffic both in the Czech Republic and in the world from the history till the present time. The practical part describes an analysis of services provided at the airport Praha Ruzyně. There is also introduced a company České aerolinie as the biggest air carrier on the Czech market. The attention is also given to a general low-cost model of this type of carrier. According to a current high competitive strength I made a comparison of traditional and low-cost carriers and thanks to a questionnaire inquire I suggested the recommendations contributing to production improvement.

A evolução de sistemas de gerenciamento de tráfego aéreo é pesquisada para suportar o crescimento na demanda por transporte aéreo. Uma alternativa para essa evolução é o aumento no grau de automação. Os sistemas automatizados precisam ser tão seguros quanto os sistemas em operação atualmente. Com o uso de técnicas de especificação e verificação formal é possível avaliar os requisitos de sistemas. Neste trabalho, é proposto um ciclo de especificação formal, que consiste em um conjunto de diretrizes para aplicação de técnicas de métodos formais em requisitos escritos em linguagem natural. O resultado esperado da aplicação deste ciclo é um conjunto de requisitos escritos em linguagem natural verificados formalmente. O ciclo é composto pelas etapas: levantamento de requisitos do sistema e classificação em padrões de especificação; mapeamento dos requisitos para as linguagens de especificação formal LTL (Linear Temporal Logic) e CTL (Computation Tree Logic); verificação formal da especificação com o verificador NuSMV; ajustes na especificação baseada nos resultados da verificação; ajustes nos requisitos baseados nos ajustes na especificação. As diretrizes propostas são definidas com a análise da verificação formal do Automated Airspace Concept (AAC), padrões de especificação e diretrizes para uso do verificador NuSMV. Os resultados esperados são obtidos na aplicação do ciclo de especificação em dois estudos de caso. A principal contribuição do trabalho é o conjunto de diretrizes para elaboração de expressões escritas em linguagem de especificação formal baseadas em requisitos escritos em linguagem natural e que podem ser verificadas formalmente. / Air traffic management systems evolution is being researched to support air transportation demand growth. An evolution alternative is system automation degree increase. Automated systems need to be as safe as current operating systems. It is possible to analyze system requirements with the application of formal specification and formal verification techniques. In this work, a specification cycle is proposed. The specification cycle is a set of guidelines to use formal method techniques on requirements written in natural language. The specification cycle application expected result is a set of formally verified requirements written in natural language. This cycle is comprised of the following stages: system requirements elicitation and specification pattern classification; requirements mapping to LTL (Linear Temporal Logic) and CTL (Computation Tree Logic) formal specification languages; specification formal verification using the NuSMV verifier; formal specification adjustment based on verification results; requirements adjustment based on formal specification adjustment. The proposed guidelines are defined with the Automated Airspace Concept (AAC) formal verification analysis, specification patterns and guidelines for the NuSMV formal verifier use. The expected results are accomplished in the specification cycle application on two study cases. The main contribution of this work is the set of guidelines applied to formulate formally verifiable expressions specified in formal specification languages based on system requirements written in natural language.

A língua franca utilizada na comunicação piloto-controlador ainda é pouco conhecida no meio acadêmico. Poucos estudos têm sido dedicados ao seu contexto de uso e ao mapeamento de suas características lingüísticas principais. Esta pesquisa acadêmica apresenta um estudo mais acurado da atividade de controlador de tráfego aéreo, no que se refere ao uso dessa linguagem de especialidade, além de desenvolver um estudo descritivo da língua franca utilizada na comunicação piloto-controlador para a identificação de suas características lingüísticas principais, com o recorte para a produção de material didático. Por meio da utilização do método do Professor André Camlong, a ferramenta computacional denominada STABLEX, fazemos uma análise descritiva, objetiva e indutiva de um corpus lingüístico, constituído dessa linguagem de especialidade. O que se pretende é oferecer subsídios aos professores de língua estrangeira para a produção do seu próprio material didático para o ensino dessa linguagem. É fato que, em determinados contextos de ensino, a necessidade de aprendizagem dos alunos é tão específica, que os materiais prontos para consumo, disponibilizados nas prateleiras das livrarias ou pelas editoras, não são suficientes, cabendo ao professor a tarefa de elaborá-los. No entanto, essa tarefa não tem se mostrado amistosa, já que o professor não dispõe de \"guias de orientação\", cientificamente justificáveis, para fazê-la. Assim sendo, o processo de elaboração torna-se intuitivo e empírico e, na grande maioria das vezes, restringese à adoção de fórmulas já consagradas de apresentação dos conteúdos. Acreditamos ser fundamental o correto entendimento das reais necessidades lingüísticas de um determinado público-alvo, para que haja mais condições de se estabelecerem processos mais ricos e eficientes de ensino e aprendizagem de qualquer língua estrangeira. / The lingua franca used in the communication between pilots and controllers is still not well known in the academic community. Few studies about its use and mapping of its main linguistic characteristics have been made. This theoretical research introduces an accurate study on the language used in the activity of air traffic controllers and develops a descriptive study of the lingua franca used in the communication between pilots and controllers, in order to identify its main linguistic characteristics towards material production. By using the method developed by Professor André Camlong and the computational tool STABLEX, an objective descriptive and inductive analysis of a linguistic corpus constituted by the language used in the ATC specialty has been conducted. The aim of this work is to provide language teachers with subsides for ATC material production hence helping teachers to elaborate materials that meet the very specific needs of their students based on the real needs of the stakeholders so as they can establish a more fruitful and efficient language teaching and learning process.

Dans cette thèse, nous menons une réflexion sur les notions de norme(s) et d’usage(s) langagiers dans le cadre du domaine du contrôle aérien. Ce domaine offre l’exemple parfait de la mise en œuvre d’une norme langagière : la "phraséologie" aéronautique, le langage opératif censé permettre des communications sûres et efficaces entre pilotes et contrôleurs, lors des situations les plus courantes. Lorsque la phraséologie ne suffit pas, ces derniers ont recours à une forme langagière plus naturelle, le "plain language". De nombreux problèmes relatifs à la mise en œuvre de ce dernier ont rapidement vu le jour et ont suscité des interrogations, notamment chez les professionnels de l’enseignement de l’anglais de l’aviation. Pour répondre aux besoins spécifiques de l’ENAC, cette thèse dresse un panorama des usages faits de la langue anglaise par les contrôleurs français et les pilotes étrangers lors de leurs communications radiotéléphoniques. Notre méthode d’analyse consiste en une étude comparative entre un corpus de référence, représentant la norme, et un corpus de communications réelles, représentant les usages. Cette analyse comparative nous permet de repérer, de décrire et de catégoriser les formes langagières employées lors de situations routinières de la navigation aérienne. Certaines différences sont ainsi repérées entre les deux corpus. En fonction de la situation, les pilotes et les contrôleurs peuvent procéder à des variations d’ordre lexical, sémantique, syntaxique et discursif. Alors que certains semblent subir l’influence de la langue naturelle, d’autres semblent mettre en œuvre une stratégie communicationnelle pour tenter d’"humaniser" ou de modaliser le contenu de leurs messages. / This thesis is a reflection upon the notions of linguistic norm(s) and usage(s) within the domain of Air Traffic Control. This domain provides a prime example of an established linguistic norm: that of “phraseology”, the controlled language used between pilots and controllers to optimise and secure their most frequent communications. If pilots and controllers do not speak the same language, the phraseology used is then based on English. Whenever the limits of phraseology are reached, pilots and controllers revert to a more natural form of language which has only recently been described in this domain: plain language. However, several problems relating to the implementation of plain language and phraseology have been identified by professional Aviation English teachers. To meet the needs of the French civil aviation university (ENAC), a survey of the different uses of the English language by French controllers and international pilots is presented. The method of analysis consists in a comparative study between two corpora: one representing the prescribed norm and the other corresponding to real pilot-controller communications. This comparative analysis allows the description and categorization of the different types of languages used on the frequency in air navigation typical situations. Some differences are found between the two corpora. Depending on the situation, pilots and controllers’ messages can indeed vary from a lexical, semantic or syntactic and discursive point of view. Some variations reflect the influence of natural language on the speakers while others can be considered as a strategy to “humanise” radiotelephony communications.

Le contrôle aérien doit faire face à une forte intensification du trafic aérien. Dans cette situation, la problématique de la charge mentale chez les contrôleurs aériens est une préoccupation majeure pour maintenir le niveau de sécurité actuel. Le système d’aide automatisé ERASMUS a été élaboré afin de réduire la charge mentale chez les contrôleurs aériens. L’objectif d’ERASMUS est de compenser les effets liés à l’intensification du trafic en réduisant de manière subliminale la charge mentale associée à l’augmentation des conflits potentiels. L’objectif principal de cette thèse est de proposer pour la première fois une mesure objective de l’impact du système d’aide ERASMUS sur la charge mentale des contrôleurs aériens. La réalisation de cet objectif a nécessité le développement d’une plateforme originale d’enregistrement et de traitement des mouvements oculaires non intrusive dans un environnement de simulation hautement fidèle. Les mouvements oculaires d’un groupe de contrôleurs aériens experts ont été enregistrés. En accord avec l’hypothèse d’ERASMUS, les résultats ont montré des effets de tailles moyennes à grandes sur l’amplitude des saccades, le temps moyen passé sur les aéronefs et sur la distribution de l’attention allouée à la scène visuelle. De plus, sans ERASMUS, l’augmentation de la densité du trafic a augmenté de manière significative les diamètres pupillaires. A l’opposé, quand ERASMUS est actif, l’intensification du trafic n’a pas impacté significativement les diamètres pupillaires. Nous discutons l’impact d’ERASMUS sur la charge mentale ainsi que l’utilisation des mesures oculométriques dans un environnement de simulation écologique de contrôle aérien. / Air Traffic Control has to handle the strong and constant increase in air traffic density. In this context, mental workload experienced by air traffic controllers is a key research concept to maintain the actual safety level. ERASMUS is an automated aid system designed to reduce air traffic controllers’ workload. The purpose of ERASMUS is to compensate the effects of the air traffic growth by reducing the increased mental workload associated with a greater number of potential conflicts. Prior experiments designed to validate the ERASMUS system showed a reduction in ratings of mental workload, but only subjectives measures were used. In the present thesis, the first goal is to complete these first results by providing, for the first time, a real time objective measure of controllers’ mental workload. In this purpose, we had to develop a new non-intrusive eye-tracking platform in a fully realistic simulation environment. The eye movements of seven controllers, placed in a high-fidelity simulation, were recorded. Traffic sequences were manipulated (with vs. without ERASMUS). Consistent with a reduced workload hypothesis, results showed medium to large effects of ERASMUS on the amplitude of saccades, on the time spent gazing aircraft, and on the distribution of attention over the visual scene. Moreover, without ERASMUS, growth in the traffic density significantly increased pupil diameters. In contrast, when ERASMUS was activated, traffic density growth did not impact significantly pupil diameters. Finally, we discuss the impact of ERASMUS on mental workload and the use of pupillometric measures in an ecological air traffic control environment.

Dans le contexte du futur système de gestion du trafic aérien, un des objectifs consiste à réduire l’impact environnemental du trafic aérien. Pour respecter ce but, le concept de “free-route”, introduit dans les années 1990, semble bien adapté aujourd’hui. Les avions ne seraient plus contraints à voler le long de routes aériennes, mais pourraient suivre des trajectoires optimales en terme de consommation. L’objectif de cette thèse est d’introduire une nouvelle méthode de planification du trafic à l’horizon pré-tactique avec des objectifs quelques fois contradictoires, c’est-à-dire avec pour but de minimiser la consommation ou de façon équivalente la durée de trajet en tenant compte des conditions météorologiques et de minimiser l’encombrement de l’espace aérien.La méthode a été mise au point en deux étapes. La première étape a été consacrée au calcul d’une seule trajectoire optimale en terme de temps de vol en tenant compte du vent et de contraintes celles des zones interdites de survol. Cette optimisation est basée sur une adaptation de l’algorithme Ordered Upwind. La deuxième étape introduit un algorithme hybride développé, basé sur un algorithme de recuit simulé et sur l’algorithme déterministe développé dans la première étape, afin de minimiser un compromis entre la congestion et la consommation. L’algorithme combine ainsi la capacité d’atteindre la solution optimale globale via une recherche locale qui permet d’accélérer la convergence.Des simulations numériques avec des prévisions de vent sur du trafic européen donnent des résultats encourageants qui démontrent que la méthode globale est à la fois viable et bénéfique en terme du temps de vol total comme de la congestion globale donc de la diminution des conflits / In the context of the future Air Traffic Management system (ATM), one objective is to reduce the environmental impact of air traffic. With respect to this criterion, the “freeroute” concept, introduced in the mid 1990’s, is well suited to improve over nowadays airspace based ATM. Aircraft will no longer be restricted to fly along airways and may fly along fuel-optimal routes. The objective of this thesis is to introduce a novel pretactical trajectory planning methodology which aims at minimizing airspace congestion while taking into account weather conditions so as to minimize also fuel consumption.The development of the method was divided in two steps. The first step is dedicated to compute a time-optimal route for one aircraft taking into account wind conditions. This optimization is based on an adaptation of the Ordered Upwind Method on the sphere.The second step introduces a hybrid algorithm, based on simulated annealing and on the deterministic algorithm developed in the first step, in order to minimize congestion. Thus the algorithm combines the ability to reach a globally-optimal solution with a local-search procedure that speeds up the convergence.

In this essay one has been investigating some of the reasons why aviation incidents take place and also examine what strategies there are to minimize the risks - primarily regarding miscommunication which often seems to be a contributing element or a direct cause in aviation mishaps. The aim of this study is to highlight and raise awareness about this field of study from a communicative point of view.The study has been performed using qualitative interviews with pilots, Air Traffic Controllers and other professionals within the aviation industry. The research has been somewhat hampered by the outbreak of the COVID-19 pandemic but not to an extent that would have corrupted the findings.The key results have indicated that miscommunication still is a problem in the aviation industry, but less so on the local national stage than in a global perspective. Two particular occurrences that have been given extra attention are runway incursions and the use of Controller Pilot Data-Link Communications.One has established that there are technical systems available on the market to improve communication performance and that runway incursion is a problem that grows with the complexity of the airport environment. One has also been made aware of the fact that human factors can only be mitigated so far with technology. The principal question has been: How can Miscommunication in Aviation be reduced? / I denna uppsats har vi tittat på några av de bakomliggande orsakerna till att incidenter fortfarande sker inom trafikflyget samt undersökt vilka strategier som föreligger för att minimera dessa risker - primärt pga felkommunikation vilken ofta tenderar att vara en bakomliggande eller direkt utlösande faktor i flygolyckor. Syftet med denna studie är att uppmärksamma och öka medvetenheten om dessa fenomen från en kommunikativ synvinkel.Studien har genomförts medelst en kvalitativ intervjumetod med piloter, flygledare och andra initierade yrkesgrupper inom flygindustrin. Forskningen har hämmats något pga utbrottet av COVID-19 pandemin men inte i en sådan omfattning att resultatet har förvanskats.De huvudsakliga resultaten har indikerat att felkommunikation fortfarande är ett problem inom flygbranschen, men i en långt mindre omfattning på lokal nationell nivå än i ett globalt perspektiv. Två specifika företeelser som har getts extra uppmärksamhet är rullbaneintrång samt användandet av CPDLC (datalänk).Vi har konstaterat att det finns tekniska system på marknaden för att förbättra prestandan på kommunikationen samt att rullbaneintrång är ett problem som växer med flygplatsens storlek och komplexitetsgrad. Vi har också uppmärksammats på att den mänskliga faktorn endast delvis kan undanröjas med hjälp av teknologi. Den huvudsakliga fågeställningen har varit: Hur kan felkommunikation inom flyget reduceras