Redes de Petri aplicadas na análise de algoritmo para autoteste de torre de integração de veículos espaciais

• Ano de defesa: 2009
• Autor(a) principal: Rodrigo Petterle
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Instituto Tecnológico de Aeronáutica
• Palavras-chave em Português: Plataformas de lançamento; Equipamentos de apoio no solo; Redes de Petri; Simulação computadorizada; VLS (Brasil); Auto-testes; Engenharia aeroespacial
• Link de acesso: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2298

O Veículo Lançador de Satélites, desenvolvido atualmente no Brasil, necessita que suas partes sejam integradas em uma unidade especializada do centro de lançamento que é denominada Torre Móvel de Integração. Na estrutura dessa torre são instalados os seguintes equipamentos: ponte rolante, elevador, plataformas de trabalho (fixas e móveis), portas, truques para movimentação e outros equipamentos que auxiliam especialmente a execução das tarefas de integração, testes e lançamento desse veículo. O atendimento dos procedimentos previstos nessas tarefas expõe seus realizadores aos riscos inerentes do setor espacial, configurando uma situação na qual é estratégico para o aumento da segurança que cada um dos mencionados equipamentos seja submetido a um conjunto de testes operacionais, antes da sua efetiva utilização pelo sistema de controle principal da referida torre. Nesse contexto, este trabalho apresenta o modelo elaborado para representar uma proposta de algoritmo destinado ao autoteste dos sensores e atuadores utilizados pelos principais equipamentos previstos na torre de integração do aludido veículo, por meio das Redes de Petri. São realizadas simulações computacionais nesse modelo, com a meta de avaliar as propriedades de desempenho da Rede de Petri que estão relacionadas principalmente com a conservação, a vivacidade e os conflitos do tipo confusão e mortal. Os resultados positivos obtidos nessas simulações indicam que o algoritmo proposto será capaz de detectar não-conformidades durante a execução do autoteste nos equipamentos previstos na mencionada torre.