Exportar registro bibliográfico

Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados (2014)

  • Authors:
  • Autor USP: PIRES, RAYNER DE MELO - ICMC
  • Unidade: ICMC
  • Sigla do Departamento: SSC
  • Subjects: INTEROPERABILIDADE; AERONAVES NÃO TRIPULADAS; SISTEMAS EMBUTIDOS; ROBÔS; MIDDLEWARE; REDES DE COMPUTADORES
  • Keywords: Desenvolvimento de protocolos; Interoperabilidade; Interoperability; Model checking; Protocol design; Uav; Vant; Verificação de modelos
  • Language: Português
  • Abstract: O uso de aeronaves não tripuladas (VANTs) tem crescido substancialmente nos últimos anos, tanto no campo militar quanto no civil. Roadmaps preveem que em um futuro próximo essas aeronaves compartilhem o espaço aéreo com aeronaves convencionais, exigindo novas arquiteturas de sistemas embarcados que possam garantir uma operação coordenada e segura desses robôs. A maior parte das suas missões baseia-se fortemente em um conjunto de sensores transportados pela aeronave como parte da payload da missão. Contudo, não é trivial a integração de diferentes missões em diferentes aeronaves, visto que ainda não há uma padronização para a comunicação nesses robôs. Para possibilitar essa associação foi proposto neste trabalho a criação de um middleware. Para que se pudesse entender sobre a área de conhecimento dos VANTs realizou-se uma pesquisa sobre esses veículos e suas aplicações e então um protocolo chamado Smart Sensor Protocol (SSP) foi modelado, utilizando-se de técnicas formais para isso. O comportamento do protocolo está modelado com diagrama de estados, seguindo uma gramática escrita utilizando a forma BNF. Este modelo foi verificado com a ferramenta UPPAAL e sua implementação testada em placas Arduino. Os resultados dos testes mostraram que o modelo é viável para o ambiente de embarcados críticos visto que ele provê as funcionalidades necessárias neste cenário sem acrescentar um overhead na comunicação
  • Imprenta:
  • Data da defesa: 06.02.2014
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PIRES, Rayner de Melo; BRANCO, Kalinka Regina Lucas Jaquie Castelo. Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados. 2014.Universidade de São Paulo, São Carlos, 2014. Disponível em: < http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07052014-162205/ >.
    • APA

      Pires, R. de M., & Branco, K. R. L. J. C. (2014). Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados. Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07052014-162205/
    • NLM

      Pires R de M, Branco KRLJC. Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados [Internet]. 2014 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07052014-162205/
    • Vancouver

      Pires R de M, Branco KRLJC. Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados [Internet]. 2014 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07052014-162205/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021