Business Intelligence, BI, is a tool for collecting, analysing and transforming data into useful information, information which is supposed to help making decisions and controlling a business’s operations. Business Intelligence leads to increased efficiency and optimizing the decision making within the organisation or its functions. It is designed to support the operator so that decisions are made quickly and accurately. The purpose of this study is to deliver a specification of requirements of value-adding information in a decision support system used by traffic coordinators at SJ. In order to reach the purpose, the qualitative study was designed in three steps, identification, prioritization and information analysis. The project was defined only to take one specific process in consideration: error-searching caused by vehicle damage. The study was initiated with interviews, observations and workshops and ended with an analysis of XOD, the current base of information. The study resulted in a specification of requirements, containing 21 different types of important information. Out of the 21 types of information currently existing in XOD, only about 52 % was considered value adding for the specific process. Besides that, the traffic coordinators experienced missing information, which was added in the specification of requirements. The heavy amounts of information was shown to be too much to take in consideration at once, which led to the conclusion that the business intelligence needs to be automated in order to optimize the decision making process. / Ett beslutsstöd är ett verktyg som samlar in, analyserar och omvandlar data till värdefull och agerbar information. Informationen utgör i sin tur en grund för beslutsfattning och styrning av en verksamhet. Ett beslutsstöd leder till effektivisering och optimering av beslutsfattandet inom organisationen och dess funktioner. Det finns i största mån till för att stötta medarbetaren i beslutsprocessen så att beslut fattas snabbt och korrekt. Syftet med denna studie är att leverera en kravlista på vilken information som är värdeskapande i ett beslutsstöd anpassat för rollen Trafiksamordnare på SJs Trafikledning. För att besvara syftet delades den kvalitativa studien upp i tre delar, nämligen identifiering, prioritering och informationsanalys. Projektet avgränsades till störningar orsakade av fordonsskador och den specifika process som initieras med felsökning av Driftstöd. Studien inleddes med intervjuer, observationer samt workshops och avslutades med en analys av XOD, det beslutsunderlag som medarbetarna har tillgång till idag. Resultatet som erhölls var en kravlista med 21 informationssegment, lika många som XOD innehöll vid studiens början. Av de inledande 21 informationssegmenten klassades dock enbart 52 % som värdeskapande samtidigt som det visade sig att medarbetarna upplevde att de saknade information. Mängden information som bedömts värdeskapande i den specifika processen är för stor för användaren att hantera på ett optimalt fungerande sätt. Projektets slutsats innebar därför att beslutsstödet helt eller delvis måste automatiseras för att underlätta beslutsprocessen för användaren.

Sistemas que utilizam tecnologias computacionais no tratamento de problemas relativos ao trânsito são classificados como ITS ou Intelligent Transportation System [FAR 97]. Esses sistemas buscam, através de sincronismo e eficiência no controle de sinais de tráfego, gerenciar o fluxo de veículos na malha viária minimizando o problema de congestionamento urbano e, consequentemente, problemas decorrentes desse congestionamento como um maior consumo de combustível, maior tempo de espera para veículos específicos como ambulâncias, bombeiros, polícia e transporte coletivo, e maiores índices de poluição ambiental, sonora e atmosférica, entre outros [FED 99A]. Atuando na coleta dos dados a serem tratados e processados por um Sistema de Gerenciamento de Tráfego Urbano ou SGTU, estão os dispositivos de controle de tráfego, como semáforos e sensores para detectar e quantificar o volume de veículos e seus respectivos controladores. Computacionalmente, são fatores relevantes a interoperabilidade entre esses dispositivos de controle e padronizações adotadas, de forma que um SGTU possa evoluir através da agregação de novas facilidades e recursos ou ainda desabilitar ou modificar os já existentes. Dada as características da administração pública e dos procedimentos de aquisição, são adquiridos controladores de diferentes fabricantes e modelos, dificultando a integração entre os mesmos em função de suas tecnologias proprietárias e da falta de uma política e esforço governamental em busca de padronizações para o setor, principalmente no que diz respeito à interoperabilidade. Recentemente iniciou-se uma mobilização para se estabelecer padrões voltados à área de transporte nos Estados Unidos [EUL 95], Japão [JAP 99] e Europa [KAR 99], através da participação dos órgãos que administram o tráfego urbano, dos fabricantes de sistemas de hardware e software, da comunidade acadêmica, dos órgãos de padronizações locais e das variadas instâncias da esfera governamental. Este trabalho apresenta o CONTRAM, modelo de um middleware que, tratando os controladores de dispositivos de controle tráfego instalados ao longo da malha viária baseado nos paradigmas de sistemas distribuídos, possa ser utilizado como interface entre estes e as aplicações computacionais de gerenciamento de tráfego, permitindo a integração de diferentes especificações em um único sistema. O seu escopo é atender às transações de consulta e configuração de valores dos dados utilizados para controlar, monitorar e gerenciar o tráfego de veículos, liberando um SGTU de conhecer detalhes técnicos envolvidos na comunicação com os controladores. O modelo baseia-se em uma arquitetura multicamadas, 4-tier, permitindo o gerenciamento de recursos de forma centralizada ou distribuída, neste último trocando dados através da internet, e integra-se aos sistemas legados e OO através do método black-box e chamada de objetos respectivamente. Foi projetado tendo em mente a utilização de padrões abertos da indústria da Informática e de Transportes, a interoperabilidade entre diferentes elementos tecnológicos voltados ao controle de tráfego e a expansibilidade segura de um SGTU. Para alcançar seu objetivo, faz uso de tecnologias baseadas em metadados e agentes SNMP. / Systems that use computational technologies in the handling of the traffic problems are classified as ITS or Intelligent Transportation System. These systems search through synchronism and efficiency in traffic signs control, to manage the stream of vehicles in the road network, minimizing the problem of urban congestion and, consequently, decurrent problems of this congestion as a major fuel consumption, major waiting time for specific vehicles as ambulances, firemen, policy and collective carrier and greaters indices of ambient pollution, sonorous and atmospheric, amongst others. Acting in the data collection to be treat and processed for a Urban Traffic Control System or UTCS, they are the traffic control devices, as traffic lights and sensors to detect and quantify the volume of vehicles and, its respective controllers. Computational, important factors are the interoperability among these control devices and standardizations adopted, allowing UTCS customize through the new easinesses and features aggregation or still disable or modify already the existing ones. Given the features of the public management and the acquisition procedures, different controllers models of different manufacturers are acquired, making it difficult the integration in function of its proprietary technologies and the lack of one politics and governmental effort in considering standardizations for the sector, mainly about interoperability. Recently was initiated a mobilization of standards establishing to the Transportation area in the United States, Japan and Europe, through the participation of the agencies that manage the urban traffic, hardware and software solutions providers, academic community, local standardizations agencies and the varied instances of the governmental sphere. This work presents the CONTRAM, a middleware model that, treating the traffic controllers installed in road networks based in distributed systems paradigms, can be used as interface between the computational applications of traffic management and the controllers of control devices, allowing the integration of different specifications in an only system. Its target is to take care of to get and set transactions on data values used to control, monitor and manage the vehicles traffic, liberating a UTCS to know technician details in the communication with the controllers. The model is based on multilayers architecture, 4-tier, allowing the resources management in centered or distributed form, in last one changing data through the Internet and it is combined to the legacies systems and OO through the black-box and object call method respectively. It was projected having in mind the use of open standards of the Transportation and Computer science industries , interoperability between different traffic control technological elements and the UTCS expansibility safe. To reach its objective, it makes use of metadata and SNMP agents technologies.

201 pages / Ensuring algorithms work accurately is crucial, especially when they drive safety critical systems like self-driving cars. We formally model a published distributed algorithm for autonomous vehicles to collaborate and pass thorough an intersection. Models are built and validated using the “Labelled Transition System Analyser” (LTSA). Our models reveal situations leading to deadlocks and crashes in the algorithm. We demonstrate two approaches to gain insight about a large and complex system without modeling the entire system: Modeling a sub system - If the sub system has issues, the super system too. Modeling a fast-forwarded state - Reveals problems that can arise later in a process. Some productivity tools developed for distributed system development are also presented. Manulator, our distributed system simulator, enables quick prototyping and debugging on a single workstation. LTSA-O, extension to LTSA, listens to messages exchanged in an execution of a distributed system and validates it against a model.

Sistemas que utilizam tecnologias computacionais no tratamento de problemas relativos ao trânsito são classificados como ITS ou Intelligent Transportation System [FAR 97]. Esses sistemas buscam, através de sincronismo e eficiência no controle de sinais de tráfego, gerenciar o fluxo de veículos na malha viária minimizando o problema de congestionamento urbano e, consequentemente, problemas decorrentes desse congestionamento como um maior consumo de combustível, maior tempo de espera para veículos específicos como ambulâncias, bombeiros, polícia e transporte coletivo, e maiores índices de poluição ambiental, sonora e atmosférica, entre outros [FED 99A]. Atuando na coleta dos dados a serem tratados e processados por um Sistema de Gerenciamento de Tráfego Urbano ou SGTU, estão os dispositivos de controle de tráfego, como semáforos e sensores para detectar e quantificar o volume de veículos e seus respectivos controladores. Computacionalmente, são fatores relevantes a interoperabilidade entre esses dispositivos de controle e padronizações adotadas, de forma que um SGTU possa evoluir através da agregação de novas facilidades e recursos ou ainda desabilitar ou modificar os já existentes. Dada as características da administração pública e dos procedimentos de aquisição, são adquiridos controladores de diferentes fabricantes e modelos, dificultando a integração entre os mesmos em função de suas tecnologias proprietárias e da falta de uma política e esforço governamental em busca de padronizações para o setor, principalmente no que diz respeito à interoperabilidade. Recentemente iniciou-se uma mobilização para se estabelecer padrões voltados à área de transporte nos Estados Unidos [EUL 95], Japão [JAP 99] e Europa [KAR 99], através da participação dos órgãos que administram o tráfego urbano, dos fabricantes de sistemas de hardware e software, da comunidade acadêmica, dos órgãos de padronizações locais e das variadas instâncias da esfera governamental. Este trabalho apresenta o CONTRAM, modelo de um middleware que, tratando os controladores de dispositivos de controle tráfego instalados ao longo da malha viária baseado nos paradigmas de sistemas distribuídos, possa ser utilizado como interface entre estes e as aplicações computacionais de gerenciamento de tráfego, permitindo a integração de diferentes especificações em um único sistema. O seu escopo é atender às transações de consulta e configuração de valores dos dados utilizados para controlar, monitorar e gerenciar o tráfego de veículos, liberando um SGTU de conhecer detalhes técnicos envolvidos na comunicação com os controladores. O modelo baseia-se em uma arquitetura multicamadas, 4-tier, permitindo o gerenciamento de recursos de forma centralizada ou distribuída, neste último trocando dados através da internet, e integra-se aos sistemas legados e OO através do método black-box e chamada de objetos respectivamente. Foi projetado tendo em mente a utilização de padrões abertos da indústria da Informática e de Transportes, a interoperabilidade entre diferentes elementos tecnológicos voltados ao controle de tráfego e a expansibilidade segura de um SGTU. Para alcançar seu objetivo, faz uso de tecnologias baseadas em metadados e agentes SNMP. / Systems that use computational technologies in the handling of the traffic problems are classified as ITS or Intelligent Transportation System. These systems search through synchronism and efficiency in traffic signs control, to manage the stream of vehicles in the road network, minimizing the problem of urban congestion and, consequently, decurrent problems of this congestion as a major fuel consumption, major waiting time for specific vehicles as ambulances, firemen, policy and collective carrier and greaters indices of ambient pollution, sonorous and atmospheric, amongst others. Acting in the data collection to be treat and processed for a Urban Traffic Control System or UTCS, they are the traffic control devices, as traffic lights and sensors to detect and quantify the volume of vehicles and, its respective controllers. Computational, important factors are the interoperability among these control devices and standardizations adopted, allowing UTCS customize through the new easinesses and features aggregation or still disable or modify already the existing ones. Given the features of the public management and the acquisition procedures, different controllers models of different manufacturers are acquired, making it difficult the integration in function of its proprietary technologies and the lack of one politics and governmental effort in considering standardizations for the sector, mainly about interoperability. Recently was initiated a mobilization of standards establishing to the Transportation area in the United States, Japan and Europe, through the participation of the agencies that manage the urban traffic, hardware and software solutions providers, academic community, local standardizations agencies and the varied instances of the governmental sphere. This work presents the CONTRAM, a middleware model that, treating the traffic controllers installed in road networks based in distributed systems paradigms, can be used as interface between the computational applications of traffic management and the controllers of control devices, allowing the integration of different specifications in an only system. Its target is to take care of to get and set transactions on data values used to control, monitor and manage the vehicles traffic, liberating a UTCS to know technician details in the communication with the controllers. The model is based on multilayers architecture, 4-tier, allowing the resources management in centered or distributed form, in last one changing data through the Internet and it is combined to the legacies systems and OO through the black-box and object call method respectively. It was projected having in mind the use of open standards of the Transportation and Computer science industries , interoperability between different traffic control technological elements and the UTCS expansibility safe. To reach its objective, it makes use of metadata and SNMP agents technologies.

Sistemas que utilizam tecnologias computacionais no tratamento de problemas relativos ao trânsito são classificados como ITS ou Intelligent Transportation System [FAR 97]. Esses sistemas buscam, através de sincronismo e eficiência no controle de sinais de tráfego, gerenciar o fluxo de veículos na malha viária minimizando o problema de congestionamento urbano e, consequentemente, problemas decorrentes desse congestionamento como um maior consumo de combustível, maior tempo de espera para veículos específicos como ambulâncias, bombeiros, polícia e transporte coletivo, e maiores índices de poluição ambiental, sonora e atmosférica, entre outros [FED 99A]. Atuando na coleta dos dados a serem tratados e processados por um Sistema de Gerenciamento de Tráfego Urbano ou SGTU, estão os dispositivos de controle de tráfego, como semáforos e sensores para detectar e quantificar o volume de veículos e seus respectivos controladores. Computacionalmente, são fatores relevantes a interoperabilidade entre esses dispositivos de controle e padronizações adotadas, de forma que um SGTU possa evoluir através da agregação de novas facilidades e recursos ou ainda desabilitar ou modificar os já existentes. Dada as características da administração pública e dos procedimentos de aquisição, são adquiridos controladores de diferentes fabricantes e modelos, dificultando a integração entre os mesmos em função de suas tecnologias proprietárias e da falta de uma política e esforço governamental em busca de padronizações para o setor, principalmente no que diz respeito à interoperabilidade. Recentemente iniciou-se uma mobilização para se estabelecer padrões voltados à área de transporte nos Estados Unidos [EUL 95], Japão [JAP 99] e Europa [KAR 99], através da participação dos órgãos que administram o tráfego urbano, dos fabricantes de sistemas de hardware e software, da comunidade acadêmica, dos órgãos de padronizações locais e das variadas instâncias da esfera governamental. Este trabalho apresenta o CONTRAM, modelo de um middleware que, tratando os controladores de dispositivos de controle tráfego instalados ao longo da malha viária baseado nos paradigmas de sistemas distribuídos, possa ser utilizado como interface entre estes e as aplicações computacionais de gerenciamento de tráfego, permitindo a integração de diferentes especificações em um único sistema. O seu escopo é atender às transações de consulta e configuração de valores dos dados utilizados para controlar, monitorar e gerenciar o tráfego de veículos, liberando um SGTU de conhecer detalhes técnicos envolvidos na comunicação com os controladores. O modelo baseia-se em uma arquitetura multicamadas, 4-tier, permitindo o gerenciamento de recursos de forma centralizada ou distribuída, neste último trocando dados através da internet, e integra-se aos sistemas legados e OO através do método black-box e chamada de objetos respectivamente. Foi projetado tendo em mente a utilização de padrões abertos da indústria da Informática e de Transportes, a interoperabilidade entre diferentes elementos tecnológicos voltados ao controle de tráfego e a expansibilidade segura de um SGTU. Para alcançar seu objetivo, faz uso de tecnologias baseadas em metadados e agentes SNMP. / Systems that use computational technologies in the handling of the traffic problems are classified as ITS or Intelligent Transportation System. These systems search through synchronism and efficiency in traffic signs control, to manage the stream of vehicles in the road network, minimizing the problem of urban congestion and, consequently, decurrent problems of this congestion as a major fuel consumption, major waiting time for specific vehicles as ambulances, firemen, policy and collective carrier and greaters indices of ambient pollution, sonorous and atmospheric, amongst others. Acting in the data collection to be treat and processed for a Urban Traffic Control System or UTCS, they are the traffic control devices, as traffic lights and sensors to detect and quantify the volume of vehicles and, its respective controllers. Computational, important factors are the interoperability among these control devices and standardizations adopted, allowing UTCS customize through the new easinesses and features aggregation or still disable or modify already the existing ones. Given the features of the public management and the acquisition procedures, different controllers models of different manufacturers are acquired, making it difficult the integration in function of its proprietary technologies and the lack of one politics and governmental effort in considering standardizations for the sector, mainly about interoperability. Recently was initiated a mobilization of standards establishing to the Transportation area in the United States, Japan and Europe, through the participation of the agencies that manage the urban traffic, hardware and software solutions providers, academic community, local standardizations agencies and the varied instances of the governmental sphere. This work presents the CONTRAM, a middleware model that, treating the traffic controllers installed in road networks based in distributed systems paradigms, can be used as interface between the computational applications of traffic management and the controllers of control devices, allowing the integration of different specifications in an only system. Its target is to take care of to get and set transactions on data values used to control, monitor and manage the vehicles traffic, liberating a UTCS to know technician details in the communication with the controllers. The model is based on multilayers architecture, 4-tier, allowing the resources management in centered or distributed form, in last one changing data through the Internet and it is combined to the legacies systems and OO through the black-box and object call method respectively. It was projected having in mind the use of open standards of the Transportation and Computer science industries , interoperability between different traffic control technological elements and the UTCS expansibility safe. To reach its objective, it makes use of metadata and SNMP agents technologies.

[pt] Este trabalho apresenta a utilização de lógica fuzzy e de redes neurais no desenvolvimento de um controlador de semáforos - o FUNNCON. O trabalho realizado consiste em quatro etapas principais: estudo dos fundamentos de engenharia de tráfego; definição de uma metodologia para a avaliação de cruzamentos sinalizados; definição do modelo do controlador proposto; e implementação com dados reais em um estudo de caso.O estudo sobre os fundamentos de engenharia de tráfego aborda a definição de termos,os parâmetros utilizados na descrição dos fluxos de tráfego, os tipos de cruzamentos e seus semáforos, os sistemas de controle de tráfego mais utilizados e as diversas medidas de desempenho.Para se efetuar a análise dos resultados do FUNNCON, é definida uma metodologia para a avaliação de controladores. Apresenta-se, também, uma investigação sobre simuladores de tráfego existentes, de modo a permitir a escolha do mais adequado para o presente estudo. A definição do modelo do FUNNCON compreende uma descrição geral dos diversos módulos que o compõem. Em seguida, cada um destes módulos é estudado separadamente: o uso de redes neurais para a predição de tráfego futuro; a elaboração de um banco de cenários ótimos através de um otimizador; e a criação de regras fuzzy a partir deste banco.No estudo de caso, o FUNNCON é implementado com dados reais fornecidos pela CET-Rio em um cruzamento do Rio de Janeiro e comparado com o controlador existente.É constatado que redes neurais são capazes de fornecer bons resultados na predição do tráfego futuro. Também pode ser observado que as regras fuzzy criadas a partir do banco de cenários ótimos proporcionam um controle efetivo do tráfego no cruzamento estudado. Uma comparação entre o desempenho do FUNNCON e o do sistema atualmente em operação é amplamente favorável ao primeiro. / [en] This work presents the use of fuzzy logic and neural networks in the development of a traffic signal controller - FUNNCON. The work consists of four main sections: study of traffic engineering fundamentals; definition of a methodology for evaluation of traffic controls; definition of the proposed controller model; and implementation on a case study using real data.The study of traffic engineering fundamentals considers definitions of terms,parameters used for traffic flow description, types of intersections and their traffic signals,commonly used traffic control systems and performance measures.In order to analyse the results provided by FUNNCON, a methodology for the evaluation of controllers is defined. The existing traffic simulators are investigated, in order to select the best one for the present study.The definition of the FUNNCON model includes a brief description of its modules.Thereafter each module is studied separately: the use of neural networks for future traffic prediction; the setup of a best scenario database using an optimizer; and the extraction of fuzzy rules from this database.In the case study, FUNNCON is implemented with real data supplied by CET-Rio from an intersection in Rio de Janeiro; its performance is compared with that of the existing controller.It can be observed that neural networks can present good results in the prediction of future traffic and that the fuzzy rules created from the best scenario database lead to an effective traffic control at the considered intersection. When compared with the system in operation, FUNNCON reveals itself much superior.

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.

Este trabalho destina-se a especificar, analisar e ensaiar um sensor de presença para um semáforo inteligente de baixo custo. O sensor tem por finalidade a redução dos custos de implantação e manutenção nos sistemas de controles dos semáforos inteligentes, quando comparado a outros sensores, tais como, por imagem, ultrassom, laser, infravermelho, pneumático ou indutivo. O princípio de funcionamento tem por base a detecção de veículos na região de aproximação das vias de uma interseção por meio de um sensor que gera um sinal elétrico para o sistema de controle de tráfego. Utilizando sensores de micro-ondas de efeito Doppler e um circuito detecção o sistema torna-se de fácil implantação nos cruzamentos das vias públicas, por possuir tamanho reduzido, facilidade de programação e baixo consumo de energia, atendendo, portanto a necessidade de sistemas sustentáveis. Por motivo de segurança, ao ser iniciado ou reiniciado devido a falta de energia elétrica, o sistema funciona de forma temporizada por dois ciclos completos, tempo suficiente para que seja possível a detecção de veículos pelos sensores. / This work aims to specify, analyze and test a presence sensor for an intelligent traffic light at low cost. The sensor is intended to reduce the costs of deployment and maintenance of control systems in intelligent traffic lights, when compared to other sensors such as imaging, ultrasound, laser, infrared, pneumatic or inductive. The operating principle is based on the detection of approaching vehicles in the region of an intersection roads by means of a sensor which generates an electrical signal to the control system traffic. Using sensors microwave Doppler Effect and a loop detection system becomes easy to deploy in the crossings of public roads, for having reduced size, ease of programming and low power consumption, light, therefore the need for sustainable systems. For security reasons, to be started or restarted due to power outages, the system works timed by two complete cycles, enough time to be able to detect vehicles by sensors.

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.