Abordagem híbrida baseada em statecharts para verificação de sistema anti-skid de aeronaves.

AUTOR(ES)

Duval, Marcelo Nascimento

DATA DE PUBLICAÇÃO

2010

RESUMO

O objetivo desse trabalho é utilizar uma abordagem híbrida baseada nas ferramentas Simulink e Stateflow para verificar contra um conjunto de requisitos de engenharia o modelo de um sistema de controle de freios de aplicação aeronáutica do tipo anti-blocante, ou simplesmente anti-skid. Sistemas híbridos no contexto dessa tese são sistemas dinâmicos caracterizados tanto por variáveis contínuas no tempo quanto por estados discretos alcançáveis através de eventos sem dependência temporal. Neste trabalho em particular, os estados discretos são modelados em statecharts por meio da ferramenta Stateflow do MATLAB. A ferramenta Simulink do MATLAB é utilizada para modelar o comportamento dinâmico contínuo do sistema. Sistemas de freios do tipo anti-skid previnem o travamento das rodas durante a corrida de frenagem de um avião. O tipo de pista, contaminantes, a sustentação do avião e o seu peso são elementos com significativa influência do desempenho de frenagem. Sistemas de controle de freios modernos são capazes de modular continuamente o torque de frenagem aplicado às rodas, maximizando a todo instante o coeficiente de frenagem entre os pneus e a pista independente das condições da pista. Para esse trabalho de verificação é necessário modelar não somente o sistema de controle de freios, mas também o comportamento dinâmico do avião e a interface entre pneus e pista. Condições de falha e seus efeitos no desempenho de frenagem também são considerados no modelo. Falhas típicas em sistemas de freio são tipicamente associadas à realimentação de pressão hidráulica, transdutores de pressão, transdutores de posição de pedal, servo-válvulas e transdutores de velocidade de roda.

ASSUNTO(S)

aeronaves dispositivos antiderrapagem freios (dispositivos) análise de fluxo de dados modelos matemáticos simulação computadorizada sistemas dinâmicos sistemas discretos

Documentos Relacionados

• Abordagem híbrida baseada em statecharts para verificação de sistema anti-skid de aeronaves.
• Desempenho de redes de comunicação para aeronaves.
• SAMBA - Sistema de Apoio à ManutenÃÃo Baseado em conhecimento para diagnÃstico de falhas em Aeronaves.
• Controle linear quadrático para aproximação longitudinal de aeronaves.
• Análise de antenas para comunicação e navegação via satélite posicionadas em aeronaves.