Modelagem e anÃlise do software embarcado de piloto automÃtico de um VANT.
AUTOR(ES)
VÃras, Paulo Claudino
DATA DE PUBLICAÇÃO
2007
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.
ASSUNTO(S)
redes de petri desenvolvimento de software aeronave nÃo-tripulada uml avaliaÃÃo de desempenho de software pilotos automÃticos ferramentas case modelagem (processos) sistemas de computadores embarcados
ACESSO AO ARTIGO
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=977Documentos Relacionados
- Sistema automÃtico para anÃlise de variabilidade da freqÃencia cardÃaca
- Um protÃtipo de sistema para planejamento automÃtico de missÃes aÃreas.
- Gerando acompanhamento rÃtmico automÃtico para violÃo : estudo de caso do Cyber-JoÃo
- Modelagem e verificação formal do software embarcado de um simulador de satélite
- Desenvolvimento de ferramentas computacionais para modelagem e anÃlise automÃtica de defeitos de corrosÃo em dutos