Proposta de arquitetura de software de controle para efetuador robótico multifuncional.
O mercado aeronáutico tem se tornado cada vez mais competitivo. Este cenário tem pressionado as fabricantes de aeronaves a buscarem soluções inovadoras para aumentar a eficácia de seus processos de fabricação. Neste contexto surgiu o projeto AME (Automação da Montagem Estrutural de aeronaves), uma p...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Instituto Tecnológico de Aeronáutica
2010
|
| Subjects: | |
| Online Access: | http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1127 |
| Summary: | O mercado aeronáutico tem se tornado cada vez mais competitivo. Este cenário tem pressionado as fabricantes de aeronaves a buscarem soluções inovadoras para aumentar a eficácia de seus processos de fabricação. Neste contexto surgiu o projeto AME (Automação da Montagem Estrutural de aeronaves), uma parceria entre o ITA e a EMBRAER para pesquisa e desenvolvimento de soluções economicamente viáveis para automação do processo de junção de fuselagens aeronáuticas. Um produto deste projeto é o EFIP (Efetuador de Furação e Inserção de Prendedores). Este efetuador robótico é utilizado para automatizar os processos de furação e instalação de prendedores. Neste contexto esta dissertação propõe uma solução para a arquitetura de software de controle para o efetuador multifuncional EFIP. Para seleção da arquitetura de controle do efetuador foram avaliadas três abordagens com características para implementação de aplicativos baseados em eventos discretos. Duas destas abordagens são específicas para controlar sistemas a eventos discretos: o state diagram e o statechart. Ambas apresentaram limitações. A primeira por ser mais adequada para sistemas de baixa complexidade e a segunda devido ao processo de conversão do statechart para linguagem LabviewTM. A terceira abordagem avaliada foi a arquitetura produtor-consumidor. Apesar de também apresentar limitações referentes à sua aplicação foi a arquitetura selecionada. Esta arquitetura possui um código aberto que permitiu ser customizado para atender aos requisitos do software de controle do EFIP. Para verificação da arquitetura selecionada foram utilizadas duas técnicas: A primeira faz verificação formal utilizando autômatos temporizados e a ferramenta UPPAAL. A segunda verifica o software desenvolvido por meio da aplicação de testes utilizando a metodologia COFI. As técnicas de verificação apresentaram contribuições importantes e complementares. |
|---|