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:
- Publisher place: São Carlos
- Date published: 2014
- Data da defesa: 06.02.2014
-
ABNT
PIRES, Rayner de Melo. Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07052014-162205/. Acesso em: 19 maio 2024. -
APA
Pires, R. de M. (2014). Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados (Dissertação (Mestrado). 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. Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados [Internet]. 2014 ;[citado 2024 maio 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07052014-162205/ -
Vancouver
Pires R de M. Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados [Internet]. 2014 ;[citado 2024 maio 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07052014-162205/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
