• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 13
  • Tagged with
  • 13
  • 13
  • 6
  • 6
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Uma abordagem de safety no desenvolvimento e certificação de software crítico embarcado em aeronave civil.

Benedito Massayuki Sakugawa 28 June 2007 (has links)
A abordagem de safety na aviação civil, por ser fortemente baseada na falha de componentes como principal causa de acidentes, influenciou a maneira como se desenvolve e certifica o software embarcado. Várias autoridades certificadoras reconhecem a norma RTCA/DO-178B como meio aceitável para certificação de software crítico embarcado na aviação civil. Nela, o software é visto como um item do componente e deve ter um nível de integridade compatível com sua função desempenhada nesse componente. Essa integridade se traduz em grau de cuidado no desenvolvimento e rigor de testes do software, ou seja, safety é endereçado de forma indireta, pois falhas de software que têm potencial de afetar safety não são explicitamente identificadas e tratadas. Essa abordagem indireta tem sido questionada e o uso de novas tecnologias no desenvolvimento de software tem exposto suas limitações. Paralelamente, a engenharia de safety amadureceu e diversas técnicas foram desenvolvidas para avaliação de safety da aeronave e seus sistemas. Esse trabalho tem como objetivo adicionar a abordagem direta de safety de software na prática corrente de desenvolvimento e certificação de software crítico embarcado em aeronaves civis. Uma abordagem direta de safety de software é capaz de complementar a prática corrente, minimizando as dificuldades que o uso de novas tecnologias tem introduzido no processo de certificação. É apresentada a prática corrente dentro do contexto de desenvolvimento e certificação da aeronave e seus sistemas, e algumas das novas tecnologias e seus impactos. Em seguida, é introduzido o modelo que adicionada abordagem direta de safety de software. Finalizando, são identificados os benefícios desse modelo em relação às novas tecnologias apresentadas, e feita descrição de casos reais e de trabalhos da comunidade da aviação civil e acadêmica para fornecer evidências que dão suporte ao modelo apresentado.
2

Controle colaborativo para mitigação de danos em sistemas críticos

Eduardo Bento Pereira 11 December 2013 (has links)
A evolução da tecnologia tem permitido o desenvolvimento de sistemas cada vez mais complexos. Normalmente, estes sistemas são formados por subsistemas conectados entre si. Quando a operação do sistema é crítica em termos de segurança e desempenho o desafio é garantir a dependabilidade deste sistema na ocorrência de uma falha. Dependabilidade é um conceito emergente relacionado à habilidade do sistema em manter sua operação pretendida por um período prolongado de tempo, sob uma variedade de condições de estresse. Deste modo, a proposta apresentada nesta tese consiste em uma metologia de projeto de redes de controladores colaborativas que tenham por objetivo tentar garantir a dependabilidade do sistema como um todo. Os sistemas aqui considerados são compostos por susbsistemas conectados entre si por meio de variáveis relacionadas aos seus estados. O sistema de controle é formado por um subsistema e seu controlador local. Para que haja a possibilidade colaboração ou cooperação entre os nós da rede é proposto o uso de um gerenciador local. Este gerenciador tem a função de se comunicar com os demais e trocar informações na foram de pedidos de ajuda, caso algum índice relacionado a dependabilidade do sistema esteja comprometido. O gerenciador deve responder a estes pedidos por meio do ajuste de valores dos parâmetros do seu controlador local mitigando o dano ocorrido. São considerados apenas sistemas formados por subsistemas em cascata ou paralelo. Alguns estudos de casos são utilizados para ilustrar a metologia proposta.
3

Computação ciente de contexto aplicada ao monitoramento de condições críticas em ambientes físicos.

Kudo, Taciana Novo 21 May 2004 (has links)
Made available in DSpace on 2016-06-02T19:06:04Z (GMT). No. of bitstreams: 1 DissTNK.pdf: 1979455 bytes, checksum: c2b13333e32eefd55ec40d2336ebdfac (MD5) Previous issue date: 2004-05-21 / Universidade Federal de Sao Carlos / Context-aware computing investigates applications that adapt their behavior according to information (or context) captured from a physical and/or computational environment such as the location of a user. The monitoring of critical conditions in physical environments is one of the domains that take advantage of the context-aware computing facilities, where context is captured from sensors spread over environments in order to aid the prevention, the combat and the evaluation of emergency situations such as fire, rebellions in penitentiaries, explosions and leaks of toxic substances. Related works report the need for a middleware that provides services, e.g. for context interpretation and location of people and objects, which can be used by a myriad of devices and any kind of applications for monitoring of critical conditions, regardless platform, operating system and/or programming language. This work presents an approach exploiting context-aware computing in the monitoring of critical conditions in physical environments, which includes the specification of a middleware and its following main services: the Context Interpreter Service, the Event Notification Service and the Location Service. The Context Interpreter Service notifies and interprets context gathered from sensors. As those interpretations follow the security policies of each business, an Interface for Configuration and Monitoring was also developed as a means to allow particular criteria of monitoring for a business. The Event Notification Service uses the publish/subscribe paradigm based on topics. The Location Service handles the location of people and objects in physical environments. Middleware components and applications communicate through XML-encoded messages via publish/subscribe mechanism. A case study for that approach uses the Asas de um Sonho aviation museum of the TAM air company as scenario. / A computação ciente de contexto estuda aplicações que adaptam seu comportamento com base em informações (ou contexto) capturadas de um ambiente físico e/ou computacional, como a localização de um usuário. O monitoramento de condições críticas em ambientes físicos é um dos domínios que exploram as facilidades da computação ciente de contexto, no qual os contextos são obtidos via sensores dispersos em ambientes para auxiliar a prevenção, o combate e a pós-avaliação de situações de emergência, como incêndios, rebeliões em prisões, explosões, vazamento de substâncias tóxicas, etc. Para que serviços do tipo interpretação de contexto e localização de pessoas ou objetos possam ser utilizados por uma grande variedade de dispositivos e por qualquer tipo de aplicação da classe de aplicações de monitoramento de condições críticas, verifica-se a necessidade de um middleware que forneça serviços independentes de plataforma, sistema operacional e/ou linguagem de programação. Este trabalho apresenta uma abordagem para a aplicação de computação ciente de contexto no monitoramento de condições críticas em ambientes físicos, através da especificação de um middleware e de três de seus principais serviços, a saber: Serviço de Interpretação de Contextos, Serviço de Notificação de Eventos e Serviço de Localização. O Serviço de Interpretação de Contexto notifica e interpreta os contextos obtidos de sensores. Essas interpretações são baseadas nas políticas de segurança de cada empresa, e para que possa atender de maneira flexível a critérios específicos de monitoramento foi criada uma Interface de Configuração e Monitoramento. O Serviço de Notificação de Eventos utiliza o paradigma da publicação/subscrição baseada em tópicos. A localização de pessoas e/ou objetos é realizada através de um Serviço de Localização. A comunicação entre os serviços do middleware e as aplicações utiliza mensagens XML via mecanismo publish/subscribe. Um estudo de caso para utilização do middleware em questão é mostrado tendo como cenário o Museu de Aviação Asas de um Sonho da Companhia Aérea TAM.
4

Controle veicular autônomo (CVA): um sistema para prevenir acidentes no contexto de veículos autônomos. / Autonomous vehicle control: a system to prevent accidents over autonomous vehicle context.

Molina, Caroline Bianca Santos Tancredi 30 August 2018 (has links)
O desenvolvimento tecnológico e o elevado investimento em tecnologias de veículos \"inteligentes\" vão, provavelmente, transformar veículos autônomos em realidade em alguns anos. A inserção de inteligência em veículos rodoviários visa obter uma redução nos acidentes de trânsito devido à mitigação de erros cometidos por motoristas humanos, graças à sua substituição por máquinas. Além disso, os veículos autônomos devem ser capazes de mitigar os perigos existentes nos sistemas de transporte rodoviário, sem criar novos riscos. Assim, é importante a pesquisa de como garantir a segurança crítica (safety) nesse novo cenário. Algumas pesquisas nesta área já vêm sendo desenvolvidas, porém elas não mostram como projetar um sistema veicular autônomo no qual se possa aplicar métodos já existentes para analisar e garantir níveis de segurança adequados em tais veículos. Frente a isso, este trabalho de mestrado desenvolve uma proposta que visa facilitar o desenvolvimento e a análise dessa nova classe de veículos, além de assegurar níveis de segurança crítica adequados aos veículos autônomos. A proposta é representada por um sistema denominado Controle Veicular Autônomo (CVA), o qual foi desenvolvido sob o conceito de Sistemas de Transporte Inteligentes (STI). O sistema CVA é formado por duas camadas, uma de operação (Operação Veicular Autônoma - OVA), responsável pela condução do veículo e outra de proteção (Proteção Veicular Autônoma - PVA). A ideia principal é que se utilize a camada PVA para a prevenção de acidentes. A camada PVA foi desenvolvida e testada em um ambiente de simulação, considerando um Estudo de Caso. Observou-se que, conforme previsto, o sistema CVA, por possuir uma camada voltada para a proteção veicular, conseguiu evitar diversas situações de colisões entre veículos. / Technological development and the massive investment in \'intelligent\' vehicle technologies are likely to turn autonomous vehicles into reality in a few years. The insertion intelligence in road vehicles aims to obtain a reduction in traffic accidents due to the mitigation of errors committed by human drivers, thanks to their replacement by machines. In addition, autonomous vehicles should be able to mitigate hazards in road transportation systems without creating new risks. Thus, It is important to study how to ensure safety in this new scenario. Some research in this area has already been developed, but they do not show how to design properly an autonomous vehicle system in which existing methods can be applied to analyze and guarantee adequate levels of safety in such vehicles. As a result, this master\'s work develops a proposal that aims to facilitate the development and analysis of this new class of vehicles, in addition to ensuring levels of critical safety appropriate to autonomous vehicles. The proposal is represented by a system called Autonomous Vehicle Control (CVA), which was developed under the concept of Intelligent Transport Systems (STI). The CVA system is formed by two layers, one of operation (Autonomous Vehicle Operation - OVA), responsible for the driving of the vehicle and another one of protection (Autonomous Vehicle Protection - PVA). The main idea is to use the PVA layer for the prevention of accidents. The PVA layer was developed and tested in a simulation environment, considering a Case Study. It was observed that, as predicted, the CVA system, because it has a layer aimed at vehicular protection, was able to avoid several collision situations between vehicles.
5

Controle veicular autônomo (CVA): um sistema para prevenir acidentes no contexto de veículos autônomos. / Autonomous vehicle control: a system to prevent accidents over autonomous vehicle context.

Caroline Bianca Santos Tancredi Molina 30 August 2018 (has links)
O desenvolvimento tecnológico e o elevado investimento em tecnologias de veículos \"inteligentes\" vão, provavelmente, transformar veículos autônomos em realidade em alguns anos. A inserção de inteligência em veículos rodoviários visa obter uma redução nos acidentes de trânsito devido à mitigação de erros cometidos por motoristas humanos, graças à sua substituição por máquinas. Além disso, os veículos autônomos devem ser capazes de mitigar os perigos existentes nos sistemas de transporte rodoviário, sem criar novos riscos. Assim, é importante a pesquisa de como garantir a segurança crítica (safety) nesse novo cenário. Algumas pesquisas nesta área já vêm sendo desenvolvidas, porém elas não mostram como projetar um sistema veicular autônomo no qual se possa aplicar métodos já existentes para analisar e garantir níveis de segurança adequados em tais veículos. Frente a isso, este trabalho de mestrado desenvolve uma proposta que visa facilitar o desenvolvimento e a análise dessa nova classe de veículos, além de assegurar níveis de segurança crítica adequados aos veículos autônomos. A proposta é representada por um sistema denominado Controle Veicular Autônomo (CVA), o qual foi desenvolvido sob o conceito de Sistemas de Transporte Inteligentes (STI). O sistema CVA é formado por duas camadas, uma de operação (Operação Veicular Autônoma - OVA), responsável pela condução do veículo e outra de proteção (Proteção Veicular Autônoma - PVA). A ideia principal é que se utilize a camada PVA para a prevenção de acidentes. A camada PVA foi desenvolvida e testada em um ambiente de simulação, considerando um Estudo de Caso. Observou-se que, conforme previsto, o sistema CVA, por possuir uma camada voltada para a proteção veicular, conseguiu evitar diversas situações de colisões entre veículos. / Technological development and the massive investment in \'intelligent\' vehicle technologies are likely to turn autonomous vehicles into reality in a few years. The insertion intelligence in road vehicles aims to obtain a reduction in traffic accidents due to the mitigation of errors committed by human drivers, thanks to their replacement by machines. In addition, autonomous vehicles should be able to mitigate hazards in road transportation systems without creating new risks. Thus, It is important to study how to ensure safety in this new scenario. Some research in this area has already been developed, but they do not show how to design properly an autonomous vehicle system in which existing methods can be applied to analyze and guarantee adequate levels of safety in such vehicles. As a result, this master\'s work develops a proposal that aims to facilitate the development and analysis of this new class of vehicles, in addition to ensuring levels of critical safety appropriate to autonomous vehicles. The proposal is represented by a system called Autonomous Vehicle Control (CVA), which was developed under the concept of Intelligent Transport Systems (STI). The CVA system is formed by two layers, one of operation (Autonomous Vehicle Operation - OVA), responsible for the driving of the vehicle and another one of protection (Autonomous Vehicle Protection - PVA). The main idea is to use the PVA layer for the prevention of accidents. The PVA layer was developed and tested in a simulation environment, considering a Case Study. It was observed that, as predicted, the CVA system, because it has a layer aimed at vehicular protection, was able to avoid several collision situations between vehicles.
6

Estudo dos efeitos de colisões atômicas na dinâmica, nas propriedades estatíticas e no emaranhamento entre átomos aprisionados interagindo com a luz.

França, Vivian Vanessa 10 March 2005 (has links)
Made available in DSpace on 2016-06-02T20:16:52Z (GMT). No. of bitstreams: 1 DissVVF.pdf: 1319108 bytes, checksum: 12713663115477f3e46216f4931e1917 (MD5) Previous issue date: 2005-03-10 / In this work we consider a trapped Bose-Einstein Condensate interacting simultaneously with a high quality cavity quantized field and a classical undepleted laser field. Collisions between atoms are taken into account by a delta type contact potential. A linearized model is obtained which take into account simultaneous amplification of atomic and optical fields. We analyse the effects of atomic collisions on the system stability and statistical properties. Also is done a study of the degree of entanglement between atomic and optical fields. / Neste trabalho nós consideramos um Condensado de Bose-Einstein em uma armadilha interagindo simultaneamente com o campo quantizado de uma cavidade de alto fator de qualidade e com o campo de um laser tratado classicamente e suposto de intensidade fixa. Colisões entre átomos são incluídas por meio de um potencial de contato tipo delta. É obtido um modelo linearizado que inclui amplificação simultânea dos campos óptico e atômico. Nós analisamos os efeitos das colisões atômicas sobre a estabilidade e as propriedades estatísticas do sistema. Também é realizado um estudo do grau de emaranhamento entre os campos óptico e atômico.
7

Proposta de um middleware para monitoramento de situações de emergência em ambientes físicos ou lógicos cientes de contexto.

Micheloti, Gislaine Cristina 21 July 2004 (has links)
Made available in DSpace on 2016-06-02T19:06:22Z (GMT). No. of bitstreams: 1 DissGCM.pdf: 1903827 bytes, checksum: 2718cf95bf3b76c2b984fe7e1e11b353 (MD5) Previous issue date: 2004-07-21 / Ubiquitous computing in which information and services are offered to users in a continuous and non-intrusive way, is widely explored for classroom, meeting rooms, tourist guides, intelligent home and also safety-critical applications: industrial, aviation, metro-train safety, patient monitoring, etc. The advances in heterogeneous visualization and information access devices, sensors and wireless networks has propelled the emergence of applications that need fine grain monitoring to prevention, combat and evaluation of emergency situations. In the first case (prevention), information is captured from sensor network in order to prevent critical conditions. In the second case (combat), it can aid with more detailed information to help decision making in the management of rescue teams (for instance, in the localization of people and objects in environments with heavy smoke and/or flames), and, in the third case (evaluation), to help auditory for insurance companies, training teams, and even people responsible for the safety of the environment being monitored. In this work, a system for Monitoring Emergency Conditions in context aware environments is considered as being a physical or logical environment with sensors across it that capture context information, which are interpreted, recorded and visualized in 3D virtual environments that mimic the real environment. This work presents a proposal for a Middleware, which is platform and programming language independent that meets functional requirements of context aware systems, such as context interpretation, localization, adaptation, etc., as well as non-functional requirements, such as: reliability, efficiency, modularity, portability, interoperability and extensibility. The middleware is specified as a set of services that interact with the application, with a sensor network and with services themselves. The interaction is achieved through a publish/subscribe mechanism based on topics in that subscriptions and notifications are issued and described in XML, and transmitted through the SOAP protocol, making the system accessible from the web. The services can be integrated and executing in a single computer, or they can be distributed across the network and even ran in nodes of a sensor network. / A computação ubíqua, onde informações e serviços são oferecidos aos usuários de forma contínua e não intrusiva, é amplamente explorada em aplicações de sala de aula, sala de reuniões, guias turísticos, residências e também na área de segurança crítica: segurança industrial, segurança na aviação, segurança no controle metro-ferroviário, monitoramento de pacientes, etc. O avanço nas áreas de dispositivos heterogêneos de visualização e acesso à informação, de sensores e de redes de comunicação sem fio, tem impulsionado o surgimento de aplicações que necessitam de monitoramento de granularidade fina na ajuda à prevenção, combate e avaliação de situações de emergência. No primeiro caso (prevenção), informações podem ser capturadas fazendo com que condições críticas possam ser evitadas, no segundo caso (combate), podem ajudar com informações mais detalhadas para tomadas de decisão no gerenciamento de equipes de resgate e salvamento (por exemplo, na localização de pessoas em ambientes tomados por fumaça e/ou chamas), e no terceiro caso (avaliação), auxiliar perícias por parte de seguradoras, treinadores de equipes de combate a acidentes, e até os responsáveis pela segurança do ambiente monitorado. Sistema de Monitoramento de Condições de Emergência em Ambientes Cientes de Contexto é, considerado neste trabalho, um ambiente físico ou lógico povoado por sensores que capturam informações de contexto que são interpretadas, gravadas e visualizadas em ambientes virtuais 3D que refletem o ambiente real. Este trabalho apresenta a proposta de um middleware independente de plataforma e linguagem de programação que atende requisitos funcionais de sistemas cientes de contexto, tais como interpretação de contexto, localização, adaptação, etc., bem como requisitos não funcionais, tais como confiabilidade, eficiência, modularidade, portabilidade, interoperabilidade e extensibilidade. O middleware é especificado na forma de serviços que interagem com a aplicação, com a rede de sensores e entre si, através de mecanismo de publicação/subscrição baseado em tópicos em que subscrições e notificações são emitidas e descritas em XML, e transmitidas pela rede através do protocolo SOAP, tornando o sistema acessível via web. Os serviços podem estar integrados e executando em um único computador, ou então distribuídos pela rede, e podem ser executados em nós da rede de sensores.
8

Método de avaliação de segurança crítica para a integração de veículos aéreos não tripulados no espaço aéreo controlado e não segregado. / Safety assessment method for the unmanned aerial vehicles integration in controlled and non-segregated airspace.

Gimenes, Ricardo Alexandre Veiga 19 June 2015 (has links)
A crescente demanda por Veículos Aéreos Não Tripulados (VANT) tem sido objeto de preocupação por parte das organizações internacionais responsáveis pela segurança do espaço aéreo. O uso de VANT em condições restritas tem sido realizado pelos interessados e envolvidos, mas para que o VANT seja economicamente viável, há a necessidade de regulamentação ainda não existente para sua integração segura no Espaço Aéreo Controlado e Não Segregado. Em função dessa demanda não atendida, nesta Tese foi desenvolvido um método (Safety-VANT) que avalia a segurança crítica da condução do VANT, tarefa realizada por um Sistema Autônomo de Pilotagem. O desenvolvimento do Método Safety-VANT tem como missão fornecer aos órgãos reguladores, assim como aos desenvolvedores de VANT, meios de quantificar a avaliação de segurança na navegabilidade aérea dessas aeronaves. Uma hipótese considerada para o método é a de que o hardware e software (aviônicos, fuselagem, sensores e atuadores) do VANT estejam previamente avaliados e certificados pelos mesmos procedimentos e regras aplicáveis para os equipamentos de aeronaves tripuladas. Essa hipótese permitiu que o desenvolvimento do método de avaliação de segurança Safety-VANT fosse direcionado para avaliar a capacidade de comando autônomo de um VANT para voar, navegar e comunicar de acordo com as regras do sistema de gerenciamento e controle do tráfego aéreo. A aplicação do Safety-VANT foi exercitada sob um VANT hipotético definido como sendo capaz de voar, navegar e se comunicar com o Controle de Tráfego Aéreo e que tenha os equipamentos e estrutura da aeronave (fuselagem) que o constitui, devidamente certificados. Adicionalmente são realizadas considerações sobre como implantar a utilização do Safety-VANT no desenvolvimento de VANT Autônomo com a missão de ser integrado no Espaço Aéreo. / The growing demand for unmanned aerial vehicles (UAV) has been a subject of concern on the part of international organizations responsible for airspace safety. UAV has been used by stakeholders in strict conditions, but for UAV to become economically viable, it is necessary to issue regulations that still do not exist for safe integration in the controlled non-segregated airspace. In the light of this unattended demand, a method (Safety-VANT) was developed in this Thesis to evaluate the critical safety of UAV conduction, a task performed by a Piloting Autonomous System. The development of the Safety-VANT method aims to provide UAV regulators and developers, means of quantifying the safety assessment in the aircraft airworthiness. A hypothesis used in the method considers that the UAV hardware and software (avionics, fairing, sensors and actuators) are previously evaluated and certified by the same procedures and rules applicable to manned aircraft equipment. This hypothesis allowed the Safety-VANT - the developed safety assessment method - to evaluate the ability of an autonomous command embedded in an UAV to fly, to navigate and to communicate, according to the management of air navigation system rules. The Safety-VANT application was exercised under a hypothetical UAV set to being able to fly, to navigate and to communicate with Air Traffic Control and it has the equipment and the certified aircraft structure (fairing). In addition, considerations are performed for deploying the use of Safety-VANT in autonomous UAV development to integrate it into the Airspace.
9

Avaliação de segurança em sistemas de controle de tráfego aéreo baseados em vigilância dependente automática por radiodifusão considerando parâmetros de integridade de dados. / Safety assessment in air traffic control systems based on automatic dependent surveillance broadcast by considering data integrity parameters.

Sesso, Daniel Baraldi 17 October 2016 (has links)
A demanda pelo aumento do volume de tráfego aéreo tem pressionado as autoridades da aviação a adensar o espaço aéreo global, por meio de redução na separação entre aeronaves, permitindo operações mais eficientes no Gerenciamento de Tráfego Aéreo (ATM). No entanto, questões relacionadas com a segurança das operações de tráfego aéreo surgem quando se considera a possibilidade de reduzir a separação de aeronaves. Objetivamente, para maior eficiência e redução da separação, sem que isso afete significativamente a segurança, a posição vigiada das aeronaves deve aparecer de forma não só mais exata e precisa para o controlador de tráfego aéreo (ATCo), como deve ser mais fiável, o que envolve a integridades dessa informação. Essa pesquisa propõe avaliar os impactos que esses parâmetros têm nos níveis de segurança crítica (safety) no sistema de controle de tráfego aéreo (ATC) inserido no novo conceito de ATM Global (CNS/ATM). Para isso, foi realizada uma análise dos dados de erro de posicionamento do Sistema de Navegação Global por Satélites (GNSS) visando estabelecer seu comportamento. Esse comportamento é utilizado para modelar um sistema de controle de tráfego completo para fins de simulação e, adotando-se a metodologia de análise de segurança desenvolvida por Vismari (2007), avaliar os efeitos que esses novos parâmetros exercem sobre os níveis de segurança encontrados na pesquisa desenvolvida por Vismari (2007) para ambientes de tráfego aéreo baseados na Vigilância Dependente Automática por Radiodifusão (ADS-B). São comparados diversos cenários em que houve a degradação do comportamento do sistema GNSS. Para cada cenário estudado verificou-se que a degradação do comportamento não foi suficiente para gerar eventos de risco relacionados à integridade dos dados posicionais das aeronaves. Assim, dentro das condições simuladas, o sistema manteve os níveis de segurança crítica no que se refere à integridade do posicionamento das aeronaves apresentadas na tela do controlador de tráfego aéreo em operações de resolução de conflito. O modelo computacional desenvolvido possui diversas características que, apesar de não serem totalmente utilizadas na presente pesquisa, constituem um legado para pesquisas futuras e para a integração com a Plataforma Integrada para Ensaios de Sistemas Embarcados Críticos (PIpE-SEC) desenvolvida dentro do Grupo de Análise de Segurança (GAS) da EPUSP. / The demand for increasing air traffic volume has pressed aviation authorities to densify the global airspace through separation reduction between aircraft, allowing operations that are more efficient in the Air Traffic Management (ATM). However, issues related to the safety of air traffic operations arise when considering the possibility of reducing the separation of aircraft. Objectively, for greater efficiency and separation reduction, without significantly affecting safety, surveillance positions of the aircraft must appear not only more accurate and precise to the air traffic controller (ATCo), it should be more trustworthy, which concerns the integrity of that information. This research proposes to assess the impacts of these parameters on the safety levels of air traffic control system (ATC) inserted in the new concept of Global ATM (CNS/ATM). To achieve it, an analysis of the data related to error in positioning of the Global Navigation Satellite System (GNSS) was made to establish its behavior. This behavior analysis is used to model a complete traffic control system for simulation purposes and, adopting the safety analysis methodology developed by Vismari (2007), evaluate the effects that these new parameters had on the safety levels found in the research developed by Vismari (2007) for air traffic environments based on Automatic Dependent Surveillance - Broadcast (ADS-B). They are compared to various scenarios in which there was a GNSS system performance degradation. For each studied scenario, it was found that GNSS behavior\'s degradation was not sufficient to create risk events in aspects related to integrity of the aircraft position data. Thus, within the simulated conditions, the system kept the safety levels regarding to the integrity of the aircraft position informed on screen to the air traffic controller in conflict resolution operations. The computational model developed has several features, which, although not totally applied in this research, constitute a legacy for future research and for integration with the Integrated Platform for Testing Critical Embedded Systems (PIpE-SEC) developed within the Safety Analysis Group (GAS) of EPUSP.
10

MODDESSA: um modelo de desenvolvimento para sistemas de software autotrônicos.

Robson Calvetti 17 April 2009 (has links)
Os dispositivos eletrônicos, diariamente, estão presentes na vida dos seres humanos. Também encontrados em automóveis, onde recebem a denominação de Autotrônica, seu uso vem aumentando a cada modelo de veículo lançado no mercado. Esses dispositivos vêm apresentando funcionalidades mais complexas e críticas. Alguns dos dispositivos autotrônicos precisam reagir em Tempo-Real a estímulos determinísticos oriundos de outros sistemas embarcados no veículo. Por isso são classificados de Sistemas de Tempo-Real Autotrônicos, e se utilizam de software e hardware para cumprirem seus requisitos específicos. A fim de manter seus custos nos patamares mais baixos possíveis, alguns desses dispositivos autotrônicos se utilizam de hardware com baixo poder computacional, possuindo recursos mínimos, necessários e suficientes para realizarem suas missões. Com isso, cada vez mais, se faz necessário o desenvolvimento de softwares, para serem embarcados nesses hardwares, com maior qualidade, confiabilidade e segurança (safety). Projetistas, desenvolvedores e engenheiros atuantes nessa área, buscam, projeto a projeto, modelos mais eficientes para o desenvolvimento desses softwares. Atualmente, a utilização dos conhecimentos e modelos de desenvolvimento trazidos da Engenharia de Software para os sistemas de software autotrônicos, tais como utilização da Unified Modeling Language - UML e ferramentas de Model Driven Development - MDD, é pouco explorada na área, principalmente, devido à possibilidade de causar desperdício de recursos em hardware e atrasos no desenvolvimento do produto. Este trabalho de pesquisa apresenta uma proposta alternativa às abordagens tradicionais, para o desenvolvimento desses sistemas, através de um Modelo de Desenvolvimento para Sistemas de Software Autotrônicos MODDESSA. Com sua aplicação, foi possível se embarcar esses sistemas em hardware com baixo poder computacional utilizando os principais conceitos da UML, técnicas de Modelagem para a Programação Baseada em Objetos - PBO, ferramentas de MDD e técnicas pertinentes para se automatizar o processo de geração do código do software aplicativo, sem utilizar um Sistema Operacional de Tempo Real - SOTR, obtendo-se um estudo de caso contendo 3 (três) experimentos aplicáveis na área da autotrônica.

Page generated in 0.0734 seconds