Detalhes bibliográficos
| Ano de defesa: |
2010 |
| Autor(a) principal: |
José Marcos Silva Anjos |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Instituto Tecnológico de Aeronáutica
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1127
|
Resumo: |
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. |
