Afin de pouvoir subvenir aux futurs besoins en matière de transport aérien il est nécessaire d'augmenter la capacité de l'espace aérien. Les contrôleurs aériens, qui occupent une place centrale dans la gestion du trafic, doivent quotidiennement faire face à des situations conflictuelles (conflits) lors desquelles deux vols risquent de violer les normes de séparation en vigueur si aucune modification de trajectoire n'est envisagée. La détection et la résolution des conflits potentiels contribuent à augmenter la charge de travail des contrôleurs et peuvent potentiellement les conduire à diriger les vols vers des zones moins denses de l'espace aérien, induisant a posteriori un retard pour les vols. Le problème de la capacité de l'espace aérien peut donc être abordé en régulant les flux de trafic de façon réduire la quantité de conflits aériens. L'objectif de cette thèse est de mettre au point une méthodologie destinée à minimiser les risques de conflits aériens en modifiant légèrement les vitesses des appareils. Cette approche est principalement motivée par les conclusions du projet ERASMUS portant sur la régulation de vitesse subliminale. Ce type de régulation a été conçu de façon à ne pas perturber les contrôleurs aériens dans leur tâche. En utilisant de faibles modulations de vitesse, imperceptibles par les contrôleurs aériens, les trajectoires des vols peuvent être modifiées pour minimiser la quantité totale de conflits et ainsi faciliter l'écoulement du trafic dans le réseau aérien. La méthode retenue pour mettre en œuvre ce type de régulation est l'optimisation sous contrainte. Dans cette thèse, nous développons un modèle d'optimisation déterministe pour traiter les conflits à deux avions. Ce modèle est par la suite adapté à la résolution de grandes instances de trafic en formulant le modèle comme un Programme Linéaire en Nombres Entiers. Pour reproduire des conditions de trafic réalistes, nous introduisons une perturbation sur la vitesse des vols, destinée à représenter l'impact de l'incertitude en prévision de trajectoire dans la gestion du trafic aérien. Pour valider notre approche, nous utilisons un outil de simulation capable de rejouer des journées entières de trafic au dessus de l'espace aérien européen. Les principaux résultats de ce travail démontrent les performances du modèle de détection et de résolution de conflits et soulignent la robustesse de la formulation face à l'incertitude en prévision de trajectoire. Enfin, l'impact de notre approche est évalué à travers divers indicateurs propres à la gestion du trafic aérien et valide la méthodologie développée. / As global air traffic volume is continuously increasing, it has become a priority to improve air traffic control in order to deal with future air traffic demand. One of the current challenges regarding air traffic management is the airspace capacity problem, which is acknowledged to be correlated to air traffic controllers' workload. Air traffic controllers stand at the core of the traffic monitoring system and one of their main objective is to ensure the separation of aircraft by anticipating potential conflicts. Conflict detection and resolution are likely to increase workload and may lead them to reroute aircrafts to less dense areas, triggering off flight delay. The airspace capacity problem can hence be tackled by regulating air traffic flow in order to reduce the global conflict quantity. The objective of this thesis is to develop a methodology aiming at minimizing potential conflicts quantity by slightly adjusting aircraft speeds in real time. This approach is mainly motivated by conclusions of the ERASMUS project on subliminal speed control, which was designed to keep air traffic controllers unaware of the ongoing regulation process. By focusing on low magnitude speed modulations, aircraft trajectories can be modified to reduce the quantity of conflicts and smoothen air traffic flow in the airspace network. The method used to carry out this type of regulation is constraint optimization. In this thesis, we develop a deterministic optimization model for two-aircraft conflicts which is then adapted to large scale instances using Mixed-Integer Linear Programming. In order to reproduce realistic navigation conditions, uncertainty on aircraft speeds is introduced with the goal of modeling the impact of trajectory prediction uncertainty in air traffic management. To validate our approach, a simulation device capable of simulating real air traffic data over the European airspace is used. Main results of this work reveal a significant conflict quantity reduction and demonstrate the robustness of the developed model to the uncertainty in trajectory prediction. Finally, the impact of our model on air traffic flow is measured through several air traffic management indicators and validates the proposed methodology.

O desenvolvimento de sistemas críticos é atualmente um dos problemas mais desafiadores enfrentados pela Engenharia. Há frequentemente uma pressão para se reduzir o tempo total de desenvolvimento, o que dificulta a entrega de sistemas com um mínimo aceitável de defeitos. Nos últimos anos, houve um aumento no tráfego aéreo, o que demanda uma modernização dos sistemas de tráfego aéreo atuais, muito dependentes na figura do controlador. Sistemas de tráfego aéreo são sistemas considerados críticos em segurança e de tempo real. O objetivo do presente trabalho é estabelecer um método de modelagem e verificação formal para sistemas críticos, com aplicação no domínio de tráfego aéreo. Com a adoção de técnicas de modelagem e verificação formal, pretende-se garantir a corretude dos sistemas frente aos requisitos inicialmente especificados e a detecção de erros em fases mais iniciais do projeto, o que resultaria em menores custos envolvidos na sua correção. São fornecidas diretivas para a aplicação do método através de um estudo de caso, baseado em três módulos de um sistema ATC em baixo nível de abstração, para a validação do funcionamento de módulos de software. Para verificação formal, é utilizada a ferramenta NuSMV e as propriedades a serem verificadas são descritas na lógica computacional de árvore (CTL) para garantir que o sistema satisfaça requisitos dos tipos vivacidade e segurança. / Developing safety critical systems is one of the most challenging problems in Engineering nowadays. There is usually a pressure to reduce the total time of the development, what makes it difficult to deliver systems with an acceptable low level of defects. In the recent years, there has been an increase in air trffic, what demands a modernization in the current air traffic systems, which are very dependent on the human controller. Air traffic systems are considered safety critical and real time systems. The objective of the present work is to establish a modeling and formal verification method for critical systems, applicable to the air traffic domain. By adopting modeling and formal verification techniques, it is expected to ensure the systems\' correctness compared with the initially specified requirements and the error detection in the initial phases of the project. Guidelines are provided for applying the method by means of a case study, based in three modules of and ATC system in a low abstraction level, for the validation of the operation of software modules. For the formal verification, it is used the NuSMV tool and the properties to be checked are described in the computational tree logic (CTL) to ensure that the system satisfies requirements of liveness and safety types.

Esse estudo teve o objetivo de verificar se a apresentação DICÓTICA (ou espacializada, sistema de áudio em 3D) de duas frases simultâneas facilitaria a compreensão da frase alvo em relação à apresentação diótica (não espacializada). Participaram dessa pesquisa controladores de tráfego aéreo (CsVoo), divididos em dois grupos de acordo com sua experiência profissional (novatos e experientes). Todos os participantes tinham o Português Brasileiro como língua-mãe, mas as duas frases apresentadas a eles pelo protocolo experimental (uma alvo, outra mascaradora) eram em inglês. A espacialização das mensagens beneficiou o reconhecimento da mensagem alvo pelos voluntários. Não houve diferenças significativas entre voluntários com diferentes níveis de conhecimento em inglês, experiência profissional ou sexo. / This study aimed to verify whether the dichotic or spatialized (3D audio system) presentation of two simultaneous sentences in English facilitate the identification of a target information comparing to dihotic (nonspatialized) presentation. The subjects in this study were air traffic controllers having as L1 (mother tongue) Brazilian Portuguese, and were divided into two groups (novice and experienced), according to their period of experience on the job. The spatialization of messages improved recognition of the target message by the volunteers. There were no significant differences between volunteers with different levels of knowledge in English, professional experience or gender.

Luftverkehrsprognosen stellen ein wichtiges Instrument dar, die Luftverkehrsinfrastruktur zu beeinflussen. Hinter vielen der Projekte, die von Luftverkehrsprognosen begleitet werden, stehen Interessen. Dies gilt insbesondere für Ausbauvorhaben von Flughäfen, die von eindeutigen Zielen und Wünschen getragen werden. Die Gutachter, die im Rahmen solcher Ausbauvorhaben tätig werden, sind der Gefahr ausgesetzt, beeinflusste Prognosen zu erstellen. Es ist Ziel der folgenden Arbeit, die Qualität von Luftverkehrsprognosen in Deutschland empirisch zu überprüfen. Dabei stößt man auf das Problem, dass es für Luftverkehrsprognosen praktisch nur einen Gutachter gibt. Dies ist die Intraplan Consult GmbH. Prognosen anderer Gutachter liegen in so geringer Zahl vor, dass sie nicht empirisch auswertbar sind. Wir beschränken uns im Folgenden deshalb darauf, die Prognosen von Intraplan Consult GmbH zu analysieren. Wir glauben, dass die Untersuchungsergebnisse allgemeingültigen Charakter haben und auf andere Luftverkehrsprognosen übertragbar sind. Es werden drei Fragestellungen untersucht. • Überzeichnen die Luftverkehrsprognosen der Intraplan Consult GmbH die tatsächliche Verkehrsentwicklung? • Gibt es Hinweise darauf, dass Überzeichnungen bei bestimmten Prognosegrößen (z.B. PAX, Fracht, Flugbewegungen) besonders häufig vorkommen? • Gibt es Hinweise darauf, dass Überzeichnungen bei bestimmten Gutachtentypen bzw. Gutachtenanlässen (z.B. Erweiterungen, behördliche Genehmigungen) besonders häufig vorkommen? Die empirische Untersuchung zeigte, dass die Prognosen insgesamt betrachtet tendenziell die tatsächliche Verkehrsentwicklung überschätzen. Es konnte zudem ermittelt werden, dass die Qualität der Ergebnisse stark streut und sich nicht normalverteilt verhält. Weiterhin konnten Wendepunktefehler im Prognose-Realisierungs-Diagramm beobachtet werden. Das bedeutet, dass das Modell von Intraplan Wendepunkte von Entwicklungen nicht erkennen kann. Die Airlines haben in den von den Prognosen erfassten Zeiträumen Strategiewechsel vorgenommen, die von Intraplan nicht erkannt wurden. Im weiteren Verlauf wurden die drei Prognosegrößen (i) Passagiere, (ii) Fracht- und Postaufkommen sowie (iii) Flugbewegungen einzeln analysiert. Alle drei Größen zeigten systematisch überschätzende Prognosen. Besonders stark ist dies bei den Flugbewegungen zu erkennen. Die Prognosen wurden nach ihrem Zweck in die Kategorien „Planfälle bei Genehmigungsgutachten“, „Worst-Case-Fälle bei Genehmigungsgutachten“ sowie „Marktstudien“ getrennt. Alle drei Kategorien weisen systematische Fehlschätzungen auf. Bei den Marktstudien liegen systematische Überschätzungen vor. Sie sind tendenziell etwas geringer als bei Planfallprognosen, wo die Überschätzungen erhebliche Größenordnungen annehmen (20-50% zu hohe Wachstumsraten). Worst-Case-Prognosen unterschätzen die tatsächliche Entwicklung systematisch. Da die beiden letzteren Kategorien (also Planfälle vs. Worst-Case-Fälle) im Zusammenhang mit Ausbauvorhaben an Flughäfen stehen, liegt die Vermutung nahe, dass im Rahmen der Genehmigungsgutachten die Worst-Case-Prognosen gezielt zu niedrig angesetzt werden (Unterschätzung), während die Planfallprognosen zu hoch angesetzt werden (Überschätzung), um das jeweilige Ausbauvorhaben in einem bedeutenderen Licht erscheinen zu lassen. Die Wendepunktfehler zeigen, dass Intraplan Strategiewechsel der Luftverkehrsunternehmen nicht richtig prognostiziert. Dies kann im Zusammenhang mit dem von den Auftraggebern verfolgten Zweck der Projekte stehen: Andere als die von den Auftraggebern gewünschten Strategien werden nicht abgebildet. Dieses sind, wie die empirischen ex post Ergebnisse zeigen, weder alle denkbaren Strategien und nicht einmal die wahrscheinlichsten Strategien. In der Luftverkehrswirtschaft wird argumentiert, dass die Prognosen von Intraplan nur wegen der Finanzkrise 2008, die nicht vorhersehbar gewesen wäre, so schlecht seien. Unsere Analyse zeigt für einige Flughäfen tatsächlich deutliche Brüche der Entwicklung nach der Finanzkrise. Bei anderen Flughäfen ist demgegenüber eine Konstanz der Entwicklung vor und nach der Finanzkrise festzustellen. Auch bei diesen Flughäfen ist aber die Prognose schlecht. Darüber hinaus gibt es Flughäfen, bei denen Airlines Strategiewechsel schon vor der Finanzkrise vorgenommen haben. Auch bei diesen hat das Prognosemodell von Intraplan schlechte Resultate erzielt. Bei anderen Flughäfen dagegen, ist die Prognoseleistung trotz Finanzkrise gut. Alles in allem zeigt sich deshalb, dass es weniger die Finanzkrise von 2008 ist, die zu Fehlprognosen führt, als die fehlende Fähigkeit, die Strategien der Airlines richtig abzubilden. / Aviation traffic forecasts and airport analyses are important instruments which influence decisions on aviation related infrastructure. Behind many of such infrastructure projects, which are supported by forecast analyses, one finds political interests. This is especially the case for aviation projects, such as infrastructure enlargement projects of airports, which are motivated by distinct goals and desires. Referees who act within this framework are exposed to the risk of producing biased results. The quality of such aviation traffic forecasts is the subject of this working paper. To begin with, one major obstacle is that there is only one such referee available in Germany - Intraplan Consult GmbH. Other referees have only a minimal, insignificant share of output, which cannot be used for any further empirical investigation. This is the reason why the present working paper focuses on airport analyses produced by Intraplan Consult GmbH. We believe that these research results are of common character, and thus are transferable to other related airport studies. The following three research questions have been investigated: • Do recent aviation traffic forecasts performed by Intraplan Consult GmbH overestimate actual traffic developments? • Are there any indications that some specific forecast measures (such as PAX, freight and cargo, flight movement) might be overestimated exceptionally frequently? • Are there any indications that specific types and events of forecast analysis (such as airport expansion projects, official authorisation of a project by the public administration) overestimated exceptionally frequently? Empirical investigation has shown that forecast analyses tend to be indeed overestimated, compared to the actual traffic developments. It could be shown that the quality of the research results is widespread and not normally distributed. Furthermore, systematic errors with regard to the point of inflection in forecast-realisation-diagrams were identified. This means that models constructed by Intraplan could not identify points of inflection on the development path in the real world. For instance, airlines have undergone structure and strategic changes over the periods of investigation which could not be captured by Intraplan models. In addition, three forecast measures, namely the amount of (i) passenger, (ii) freight and post and the (iii) flight movements, have been analysed. All three of them have shown systematic overestimated forecast results. In particular, forecasts of flight movements have been largely overestimated. These forecast analyses have further been categorized according to their purpose, namely project cases for the issue of approval certificates, worst-case scenarios for the issue of approval certificates and market studies. All three categories show systematic misjudgements and miscalculations. Regarding the market studies, systematic overestimation was identified. It tends to be less severe than for the project cases, where extreme estimates of 20-50% higher growth rates were found. In contrast to this, worst-case scenarios systematically underestimated actual development trends. The last two of which suggest the assumption that, when analysing enlargement projects of airports, worst-case scenario forecast figures and project case forecast figures have been deliberately manipulated in order to put the expansion project in question into the right perspective. Misjudgement by Intraplan, regarding the points of inflection, shows that they cannot forecast any strategic development by the aviation industry flawlessly. However, it can be assumed that this may also be in the interest of their contractors. Others as those suggested strategies by their clients are not included in their models. To further strengthen this suggestion, all empirical ex post results show that only a small share of all possible strategies, and especially the most improbable strategies, had been used. The aviation industry argues that miscalculation by Intraplan only relates to the events around the financial crisis in 2008, which have been unpredictable. Our research results showed that few airports had indeed been hit, regarding their development, by the financial crisis in 2008 and after. Others, however, have shown no effect and continued their rather constant development before and after the financial crisis. Forecast analyses have also been inaccurate and false for these airports. In addition to this, some of these airports had already undergone a strategic change, airline strategic change, before the financial crisis. As well, with regard to these airports, the forecast model by Intraplan produced false results. On the other hand, some forecast results have been correct, despite the financial crisis. All in all, it can be argued that incorrect forecasts have not been caused as much by the financial crisis as by the missing capacities of the model to incorporate strategic change.

Die Flugsicherung in Europa befindet sich im Wandel, denn der Europäische Luftraum und die damit verbundenen Prozesse werden seit einigen Jahren harmonisiert. Eine Vielzahl der Forschungsprojekte, die diese Entwicklung begleiten, zielt darauf ab, eine orts- und außensichtunabhängige Arbeitsumgebung für Fluglotsen zu entwickeln. Insbesondere für kleinere Regionalflughäfen besteht die Idee, eine Fernüberwachung in einem Control Center zu bündeln, da die Fluglotsen bis auf die üblichen Peak-Zeiten häufig nicht ausgelastet und teilweise unterfordert sind. Dies ermöglicht nicht nur die Fernüberwachung eines Flughafens, sondern auch die gleichzeitige Überwachung und Kontrolle aller Flugbewegungen von mehreren Flughäfen. Neben den bisherigen Aufgaben eines Fluglotsen, wie das Überwachen des Verantwortungsbereichs und die Gewährleistung einer sicheren und zügigen Abwicklung des Flugplatzverkehrs, ist bei einer Mehrfachkontrolle (Multi-Airport-Control) die Planung des Verkehrsflusses auf den zu kontrollierenden Flughäfen von entscheidender Bedeutung. Neben Systemen zum Außensichtersatz ist hierbei daher auch ein System erforderlich, dass dem Fluglotsen bei der Planung der Flugbewegungen aller Flughäfen unterstützt. Unter Berücksichtigung eines nutzerzentrierten Ansatzes, Richtlinien für einfach bedienbare Benutzerschnittstellen und mit der Intention, auch im Arbeitskontext eine hohe User Experience (UX) zu bieten, wurde das Assistenzsystem MasterMAN entwickelt. Das Konstrukt der User Experience verfolgt einen ganzheitlichen Ansatz und beinhaltet nicht nur sachbezogene Aspekte wie die Usability des Systems sondern auch hedonische Aspekte wie Nutzeremotionen. Folglich wurde eine interaktive grafische Benutzeroberfläche gestaltet, die sowohl einen leichten und sicheren Umgang mit dem System als auch ein anspruchsvolles, positiv empfundenes Look and Feel gewährleistet. Bei der Evaluierung des Systems wurden neben der analytischen Inspektionsmethode Heuristische Evaluation nach Nielsen (1994) auch die ästhetischen Aspekte der grafischen Benutzerschnittstelle mit dem Fragebogen VisAWI (Visual Aesthetics of Websites Inventory) nach Thielsch & Moshagen (2014) adressiert. Acht Usability-Experten bewerteten das Assistenzsystem, notierten alle Auffälligkeiten und Usability-Probleme und führten ein dazugehöriges Severity Rating durch. Unter Zuhilfenahme dieser Vorgehensweise wurden insgesamt 56 Probleme identifiziert, die im weiteren Verlauf der Entwicklung korrigiert wurden. In einer abschließenden Gruppendiskussion mit allen Evaluatoren und den Entwicklern wurden nach dem Vorbild des Pluralistic Walkthrough die Probleme besprochen und Lösungsansätze mit den Usability-Experten erarbeitet. Hinsichtlich der ästhetischen Gestaltung der Benutzerschnittstelle ergab die VisAWIBewertung ein überdurchschnittliches Ergebnis und bestätigte damit ein ansprechendes Design. Weitere Untersuchungen zur Zufriedenheit von Fluglotsen beim Umgang mit dem System sind geplant.

Le contrôle aérien rentre dans une phase de profondes mutations liées à l’augmentation du trafic età l’évolution des outils permettant d’assurer le service. L’augmentation du nombre d’avions gérés parle contrôleur implique un nombre beaucoup plus important qu’auparavant d’informations à traiter etmémoriser ; or une part importante des causes d’incidents est déjà due à des problèmes de perception et demémorisation des informations amplifiées par la taille des écrans de contrôle. Ceux-ci sont particulièrementcritiques dans le cas de la perception des alarmes et des avertissements donnés par le système surla visualisation radar. Le design actuel de ce type d’alertes en France qui n’utilise que la couleur, faitaujourd’hui débat et il a été recommandé dans un bulletin de sécurité aérienne de le faire évoluer. Laperception des informations nécessaires à l’établissement d’une bonne conscience de la situation aériennedes contrôleurs est au centre de cette thèse. L’objet principal de ce travail est d’améliorer la conscience dela situation des contrôleurs en s’assurant que les éléments pertinents à leur disposition dont les alarmessont perçus dans des délais conformes à leur importance et que les actions nécessaires qui en découlentsont bien réalisées. Pour répondre à cette problématique, notre travail s’est porté sur deux axes. Le premierconsiste à étudier la tâche des contrôleurs de façon à analyser les informations nécessaires à la réalisationde certains objectifs et proposer un agent de suivi de la tâche qui pourrait les épauler. Le second porte surla perception des notifications, plus particulièrement en vision périphérique, et la conception de designspropres à améliorer leur perception ainsi que l’étude de leur impact sur la réalisation de la tâche. Grâceà une approche holistique basée sur l’utilisation d’un micro-monde ATC (Laby) et l’utilisation de capteursphysiologiques, nous avons pu évaluer plusieurs designs de notifications. Deux expérimentations ont étéconduites, la première utilisant de l’oculométrie, visait à mesurer le pouvoir attentionnel de cinq designs etleur impact sur la réalisation de la tâche. La seconde, en utilisant des données neurophysiologiques, visaità mesurer l’impact de deux designs sur la charge de travail. Les designs évalués ont servi à concevoir unsystème de notification intégré dans une nouvelle supervision radar qui a été couplé à l’agent de suivi dela tâche. La dernière expérimentation conduite durant ces travaux avait pour objectif d’évaluer l’impact decette nouvelle position de contrôle dont le design est orienté conscience de la situation sur la détection deproblèmes critiques. Les résultats obtenus montrent l’intérêt de ces nouveaux outils et leur impact positifsur la réalisation de la tâche des contrôleurs ainsi que la nécessité d’évaluer dans un contexte expérimentalcontrôlé les caractéristiques des designs de notifications pour les visualisations de supervision. / Air traffic control is undergoing a great change due to the increase of traffic and the evolution of thecontrol tools. The greater number of aircrafts managed by the controller implies a much greater load ofinformation to deal with and memorize than before. A significant part of accidents’ causes is already dueto the problem of information perception and memorization which is worsened by the size of the controlscreens which are particularly critical concerning the perception of alarms and warnings displayed onthe radar image. The current design in France of those types of alerts which rely on color is controversialand an Aviation Safety bulletin recommended it should be improved. The perception of informationcontributing to a satisfactory situation awareness by the air traffic controllers is central to this thesis whichaims at making sure alarms and relevant information are detected early enough and according to prioritiesand that the corresponding actions are actually performed. To answer the issue at stake our first work focusdealt with the study of the controllers’ task so as to analyze the required information in order to achievecertain objectives and provide a task monitoring agent that could support them. The second work focusdealt with the notifications perception, more specifically in the peripheral vision and the conception ofdesigns such as to improve their perception and the study of their impact on the performance of the task.Thanks to a holistic approach based on the use of an ATC microworld (Laby) and the use of physiologicalsensors we managed to assess several notification designs. Several experiments have been conducted,one using eye-tracking aimed at measuring attention capacity of five designs and their impact on theperformance of the task. The second used neurophysiologic data and aimed at measuring the impact oftwo designs on the work load. The assessed designs enabled to conceive a notification system integratedin a new radar supervision together with the task monitoring agent. The last experiment conducted in thecourse of this work aimed at measuring the impact of this new position of control whose design is situationawareness oriented, on the detection of critical problems. The obtained results show the relevance ofthese new tools and their positive impact on the performance of the task by controllers as well as the needto assess, in a controlled experimental context, the characteristics of notification designs for supervisionvisualization.

Considering the need to improve the level of proficiency of air traffic controllers (ATCO) in the English language, in order to avoid incidents and accidents due to lack of proficiency, many language courses started offering English classes to those professionals. According to ICAO (2010), all ATCO must be approved in a specific proficiency exam, so that they can control international traffic. Nevertheless, the number of published textbooks in aviation English field is still low; therefore, choosing the most appropriate textbook becomes difficult due to the few options. The general objective of this paper is to contribute with researches in the field of textbook evaluation and Englisht learning and teaching. The specific objectives are: to set criteria in order to create a checklist to evaluate textbooks used in English language courses to air traffic controllers, based on criteria already found in the literature about textbook evaluation, adapting those criteria to what ICAO requirements and to the Proficiency Exam tasks; and to evaluate the book Aviation English using the checklist. The checklist criteria were created in the light of the Document 9835 (ICAO 2010), as well as in the light of the theories of language, Widdowson (1978), and others; the theory of English as a lingua franca of aviation, Oliveira E. (2007), Hülmbauer et al (2008), and others; the principles of language teaching and learning, Larsen-Freeman (2000), Brown (2007), and others; the tenets of English for Specific Purposes, Hutchinson and Waters (1987), Dudley-Evans and St. John (1998), and others; and the conception of materials development, Cunninsworth (1995), Tomlinson (1998; 2003), Mc Grath (2002), Dias (2007), and others. The checklist has as main categories the theoretical principles (language role and language teaching and learning), graphical features, lexical, grammatical and functional competences described in the Document 9835, support materials and English proficiency test preparation and it was subdivided into 117 items. The material evaluated by the means of the checklist fulfilled 71,8% of the checklist items in a positive way; on the other hand, 20,5% of the items were not identified in the material, and 7,7% of the items were partially identified in the textbook. Using the checklist to evaluate materials will enable professionals engaged in English teaching to air traffic controllers to choose the most appropriate textbook according to their audience, as well as to identify gaps in the book, in order to adapt the material, since there is no such thing as perfect material. / Considerando a necessidade de aumentar o nível de proficiência em língua inglesa de controladores de tráfego aéreo (ATCO), a fim de prevenir incidentes e acidentes, cujas causas também estejam relacionadas à falta de proficiência na língua, vários cursos de idiomas começaram a oferecer aulas de inglês para esses profissionais. Segundo OACI (2010), os ATCO devem ser aprovados em exame de proficiência específico, para operarem em órgãos que controlam o tráfego aéreo internacional. No entanto, o número de livros didáticos (LD) de inglês aeronáutico continua modesto e, com isso, a escolha do mais adequado torna-se difícil, devido às poucas opções. O objetivo geral deste trabalho é contribuir com pesquisas na área de avaliação de material didático e de ensino-aprendizagem de inglês. Os objetivos específicos são: estabelecer critérios para a elaboração de uma checklist para avaliação de livro didático utilizado na formação de língua inglesa de ATCO, a partir de critérios existentes na literatura sobre avaliação de LD, adequando-os aos requisitos estabelecidos pela OACI (Organização de Aviação Civil Internacional) e às atividades aplicadas no Exame de Proficiência a que são submetidos os controladores de tráfego aéreo no Brasil; e aplicar a checklist elaborada na avaliação do livro didático Aviation English. A Checklist ATCO será elaborada à luz do Documento 9835, de OACI (2010); das teorias de linguagem Widdowson (1978) e outros; da língua inglesa como língua franca da aviação, de Oliveira E. (2007), Hülmbauer et al (2008) e outros; dos princípios de ensino-aprendizagem de línguas, de Larsen-Freeman (2000), Brown (2007) e outros; do ensino de inglês para propósito específico, de Hutchinson e Waters (1987), Dudley-Evans e St. John (1998) e outros; e de avaliação de livro didático, de Cunningsworth (1995), Tomlinson (1998; 2003), Mc Grath (2002), Dias (2007) e outros. A checklist tem como principais indicadores os princípios norteadores (linguagem e princípios de ensino-aprendizagem), os aspectos gráficos, as competências lexicais, gramaticais e funcionais descritas no Documento 9835, os materiais de apoio e a familiarização com as atividades aplicadas no exame de proficiência aplicado no Brasil, totalizando 117 itens. A partir da aplicação da Checklist ATCO na avaliação do material, foi possível verificar que 71,8% dos itens estão presentes no livro avaliado; 20,5% não estão presentes no material; e 7,7% estão parcialmente presentes. A avaliação de LD utilizando a checklist proposta facilita a identificação de lacunas e fornece informações ao professor que avalia, a fim de que ele planeje as adaptações de atividades, já que o material perfeito será difícil de encontrar.

Tato práce je zaměřena na agentní návrh v prostředí řízení letového provozu. Hlavním cílem je vytvoření agentních systémů pro pilotní a řídící agenty, které odrážejí typické situace v prostředí řízení letového provozu.

This thesis explain today and future technologies of air traffic collision avoidance systems and of its utilizability by unmanned aircraft. The first part describes the UAVs and their categorization. Next part deals with the legislative requirements for their operation. The main part deals with TCAS, ADS-B, FLARM and others that are now used in civil aviation as a key technology to avoid a collision. The last part describes the UAV systems with a focus on the actual sensors used in systems for unmanned aerial vehicles for collision avoidance. The whole work deals with issues of development of collision avoidance systems and summarizes the current technology with a view to its possible application in the near future.

Research shows that although the representation of women in the workforce has increased over the past couple of decades, there are many industries that still remain male dominated. In addition, it is generally known that such male-dominated industries have minimal female representation at their managerial levels. One such male-dominated industry in South Africa is the air traffic control (ATC) industry. Women represent about 30 percent of the industry, which suggest their status in the industry is still quite low. The purpose of this study was to examine male and female air traffic controllers’ perceptions of factors that facilitate and constrain women’s career advancement, and to determine whether there were any significant differences in their opinions. The study also identified what male and female air traffic controllers (ATCOs) think the industry can do to help prepare women for leadership positions in the industry, and how to eliminate barriers that may exist to women’s career advancement. Data for this study were collected through an online questionnaire adapted from Zhong’s (2006) study on a convenience sample (N = 147) of male and female ATCOs in South Africa. The data analysis was executed by using factor analysis and analysis of variance (ANOVA). Content analysis was used to analyse the two open-ended questions. The findings from the ANOVA suggest that there were four significant gender differences in perceptions of the Personal effort/External support, Attitude/Internal character, Equity, and Family issues. There also were significant differences in opinion on External support/Personal effort, Attitude/Internal character, Equity and Family issues, depending on the number of children the respondents had, and significant differences of marital status on the External support/Personal effort and Family issues. Finally, significant differences were found in the years’ experience variable for Attitude/Internal character. In response to the open-ended questions, most of the respondents suggested that the ATC industry should offer training programmes to improve awareness of possible barriers within the industry, as well as to offer advice on how to overcome them and improve their leadership skills. This could be done by creating programmes on the knowledge and skills needed to advance one’s career or by providing mentors or role models. Future research could compare the perceptions of employees from different race groups and their perceptions of women’s career advancement in male-dominated industries. It is also recommended that researchers conduct in-depth qualitative interviews together with the current questionnaire to evaluate perceptions of the career advancement of women more critically. / Dissertation (MCom)--University of Pretoria, 2012. / Human Resource Management / unrestricted