| Título: | Modelagem e análise do software embarcado de piloto automático de um VANT. |
| Autor: | Paulo Claudino Véras |
| Programa: | Engenharia Aeronáutica e Mecânica |
| Área de Concentração: | Sistemas Aeroespaciais e Mecatrônica |
| Orientador : | Emilia Villani |
| Ano de Publicação : | 2007 |
| Curso : | Mestrado Acadêmico |
| Assuntos : | Desenvolvimento de software |
| t | Aeronave não-tripulada |
| t | Sistemas de computadores embarcados |
| t | Modelagem (processos) |
| t | Avaliação de desempenho de software |
| t | Pilotos automáticos |
| t | UML |
| t | Ferramentas Case |
| t | Redes de Petri |
| t | Engenharia mecânica |
| Resumo : | 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. |
| Data de Defesa : | 22/10/2007 |
| Texto na íntegra : | [Visualizar] |