As aeronaves de pequeno e médio porte mais recentes seguem a tendência de incluir um sistema de geração hidráulica para proporcionar melhor qualidade de vôo, manobrabilidade em solo e desempenho. Este sistema tem características semelhantes às aeronaves de grande porte, incluindo a utilização de vários usuários tais como os comandos de vôo, trens de pouso, "steering", freios e reversos. Por ser um sistema que trabalha em alta pressão e em diversas condições de operação, o sistema hidráulico está sujeito a aquecimento, o que pode comprometer a integridade do sistema e sua segurança. Existem hoje poucas referências que tratam da modelagem da troca de calor e temperatura em de sistemas hidráulicos. Neste sentido, este trabalho apresenta uma abordagem para análise do desempenho térmico de um sistema hidráulico de uma aeronave por meio da ferramenta AMESim. Alguns componentes têm seus parâmetros mais impactantes identificados por meio de experimentos específicos. É analisado um cenário crítico para possibilitar a identificação dos limites do sistema e possíveis soluções para os problemas. Com base nesses dados é possível adiantar problemas de aquecimento em sistemas hidráulicos logo na sua concepção visando à segurança e confiabilidade do sistema.

Na indústria aeronáutica é inevitável o uso de juntas coladas, rebitadas e parafusadas na união de componentes ou partes estruturais. Com o desenvolvimento de novos materiais e novas técnicas de manufatura, as juntas coladas passaram a ser mais utilizadas devido a algumas vantagens sobre as tradicionais juntas rebitadas e parafusadas, tais como: melhor distribuição das tensões na região de colagem, melhor vedação, melhor acabamento e o mais importante em aplicações aeronáuticas, menor peso. O projeto de juntas coladas é baseado em análise para a determinação das tensões normais e cisalhantes no adesivo e o campo de deslocamentos ao longo da junta. O objetivo deste trabalho é apresentar uma técnica de elementos finitos para modelagem de juntas coladas aplicável a qualquer tipo de configuração. As juntas são modeladas utilizando o programa comercial de elementos finitos MSC.Nastran. Nas simulações, os aderentes são considerados laminados de material ortotrópico, conseqüentemente a utilização de laminados assimétricos e não-balanceados são considerados. A camada de adesivo é modelada de duas maneiras: a primeira técnica assume a camada de adesivo como sendo um modelo constitutivo linear elástico e a segunda técnica assume um modelo constitutivo elasto-plástico, sendo este o modelo constitutivo da maioria dos adesivos poliméricos. Elementos de casca (CQUAD4) são utilizados para a modelagem dos aderentes e elementos sólidos (CHEXA8) na modelagem da camada de adesivo. Equações de restrição (MPC) são utilizadas para ligação dos aderentes ao adesivo proporcionando a determinação das tensões de cisalhamento txz e normal sz. A validação do modelo de junta colada tipo sobreposta é investigada pela comparação dos resultados numéricos com outras duas técnicas. Na primeira técnica, ambos os aderentes e adesivo são discretizados em elementos sólidos do Nastran, resultando num modelo completamente 3D; na segunda técnica é utilizado o programa comercial para análise estrutural de compostos ESAComp 2.2. Os resultados comparados são as distribuições de tensões normais, cisalhantes e o campo de deslocamentos ao longo da junta. Os resultados obtidos com o método proposto estão próximos do modelo 3D para todos os estudos de caso, com vantagem de ser mais simples e numericamente mais eficiente.

A UML (Unified Modeling Language) é uma linguagem de modelagem para especificar, construir e documentar artefatos de sistemas de software. A UML-RT, usada pela ferramenta Rational Rose RealTime (RoseRT), é uma extensão da UML que permite a modelagem de sistemas de tempo real distribuídos e guiados por evento. A UML-RT não possui semântica formal, logo não é possível realizar verificação formal do modelo. O presente trabalho propõe o mapeamento dos elementos de comunicação da UML-RT para a álgebra de processos p-calculus, a fim de prover semântica formal à UML-RT. Com objetivo de automatizar o mapeamento, foi desenvolvido um protótipo de tradutor que captura o modelo UML-RT especificado na ferramenta RoseRT e determina suas definições p-calculus. As definições p-calculus geradas utilizam a sintaxe da gramática do HAL-JACK, que é uma ferramenta integrada para verificação e análise de sistemas expressos em p-calculus, assim as definições p-calculus podem ser submetidas ao HAL-JACK para verificação formal de propriedades. Este trabalho detalha o mapeamento UML-RT para p-calculus, descreve o protótipo desenvolvido e apresenta alguns exemplos do mapeamento do modelo UML-RT para definições p-calculus.

Entre as principais dificuldades do desenvolvimento de software de qualidade está a especificação e o projeto conceitual. Neste contexto, a modelagem de sistemas tem um papel importante, pois torna possível a análise das características do projeto e sua validação antes da fase de implementação. Esta tese aborda o problema de modelagem e análise do software embarcado de piloto automático de um VANT utilizando UML e a ferramenta CASE Rational Rose RealTime. A partir do modelo obtido são utilizadas três abordagens para sua análise e avaliação: (1) aplicação de um conjunto de métricas no código gerado pela ferramenta CASE; (2) integração do modelo implementado na ferramenta CASE com um simulador da dinâmica do VANT, desenvolvido em MatLab, de forma a verificar o comportamento do sistema em malha fechada; e (3) conversão do modelo em UML para redes de Petri, um formalismo matemático que permite a verificação formal de propriedades do sistema.