Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas (2007)
- Authors:
- Autor USP: VISMARI, LÚCIO FLAVIO - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Subjects: TRÁFEGO AÉREO (SEGURANÇA); REDES DE PETRI; ANÁLISE DE RISCO; SIMULAÇÃO DE SISTEMAS
- Language: Português
- Abstract: Ao longo das últimas décadas, o paradigma de sistemas críticos em segurança vem sofrendo transformações como forma de se adequar às novas necessidades demandadas, tais como redução de custos e aumento da produtividade. No Sistema de Tráfego Aéreo, esta transformação é preconizada pelo paradigma CNS/ATM (Communication, Navigation, Surveilance / Air Traffic Management), baseado no uso de novas tecnologias digitais, sobretudo satélites, aplicadas à comunicação, à vigilância, à navegação e ao gerenciamento do tráfego aéreo. O CNS/ATM visa reduzir as restrições do atual paradigma de tráfego aéreo como forma de suprir sua crescente demanda e mantendo os atuais níveis de segurança. Porém, esta mudança de paradigma traz consigo novos desafios e necessidades, sobretudo, quanto à forma de se avaliar os sistemas resultantes. Em face destes novos desafios e problemas enfrentados, este trabalho propôs um método de avaliação de risco, constituído pela união dos métodos "absoluto" e "relativo" preconizados pela Organização da Aviação Civil Internacional (OACI), pelo emprego do formalismo das redes de Petri Fluidas e Estocásticas (RPFE) na modelagem dos sistemas, e pela comparação entre os valores de métricas de segurança estimados para o sistema avaliado e para um sistema legado. Este método foi aplicado para avaliar a mudança do atual paradigma de vigilância aérea, baseado em equipamentos Radar, para o paradigma de Vigilância Dependente Automática por Radiodifusão (ADS-B). Como conclusões, o método proposto mostrou-se promissor para avaliar a segurança de sistemas baseados nos atuais paradigmas de sistema críticos em segurança, especialmente o CNS/ATM, onde o formalismo das RPFE proporcionou modelar suas principais características, e a simulação por eventos discretos permitiu estimar as métricas desejadas.Além disto, a ADS-B mostrou-se uma aplicação viável à vigilância no Sistema de Controle de Tráfego Aéreo, sendo capaz de reduzir o nível de exposição das aeronaves a eventos de perda de separação e, assim, melhorar os níveis de segurança do tráfego aéreo.
- Imprenta:
- Data da defesa: 21.09.2007
-
ABNT
VISMARI, Lúcio Flávio. Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-153718/. Acesso em: 26 jan. 2026. -
APA
Vismari, L. F. (2007). Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-153718/ -
NLM
Vismari LF. Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas [Internet]. 2007 ;[citado 2026 jan. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-153718/ -
Vancouver
Vismari LF. Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas [Internet]. 2007 ;[citado 2026 jan. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-153718/ - Garantia da segurança crítica em sistemas complexos: uma abordagem orientada a riscos para o gerenciamento de recursos de comunicação em Sistemas de Transporte. Inteligentes Cooperativos (C-ITS)
- A safety assessment methodology applied to CNS/ATM-based air traffic control system
- A comparative analysis of unsupervised learning techniques for anomaly detection in railway systems
- Adaptação da ferramenta SPNP (Stochastic Petri Nets Package) para modelagem e simulação de sistemas híbridos
- Desafios da avaliação continuada em um curso de engenharia
- An Approach to Assess the Safety of ADS-B-based Unmanned Aerial Systems: Data Integrity as a Safety Issue
- Guidelines for the Integration of Autonomous UAS into the Global ATM
- A Practical Analytical Approach to Increase Confidence in Software Safety Arguments
- Diretrizes para certificação de veículos aéreos não tripulados (vant) para uso no espaço aéreo brasileiro
- A cost-sensitive approach to enhance the use of ML classifiers in software testing efforts
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
