Pós-Graduação em Ciência da Computação – UFPE
Defesa de Dissertação de Mestrado Nº 2.108
Aluno: Francisco Wilson Rodrigues Júnior
Orientador: Prof. Gustavo Henrique Porto de Carvalho
Título: A RoboTool plug-in for RoboWorld
Data: 21/09/2023
Hora/Local: 10h – Virtual – Interessados em assistir entrar em contato com o aluno
Banca Examinadora:
Prof. Juliano Manabu Iyoda (UFPE / Centro de Informática)
Prof. Sidney de Carvalho Nogueira (UFRPE / Departamento de Computação)
Prof. Gustavo Henrique Porto de Carvalho (UFPE / Centro de Informática)
RESUMO:
O desenvolvimento de sistemas robóticos é uma tarefa desafiadora devido à complexidade associada. Além disso, a falta de técnicas e ferramentas específicas faz com que a prática atual de Engenharia de Software para robótica esteja desatualizada. Portanto, aplicar técnicas de desenvolvimento baseado em modelos, em oposição às abordagens centradas em simulação e código, tem sido defendido para o campo da robótica. Considerando isto, o framework RoboStar, através de sua ferramenta (RoboTool), fornece uma coleção de linguagens específicas de domínio adaptadas para diferentes aspectos do desenvolvimento de sistemas robóticos. Uma dessas linguagens é RoboWorld: uma linguagem natural controlada (CNL) para especificar requisitos operacionais. Neste trabalho, desenvolveu-se um plug-in de RoboTool para RoboWorld. Este plug-in possui uma interface gráfica que permite a manutenção de dicionários específicos de cada projeto. Além disso, fornece editores de superfície e estruturais para documentos RoboWorld. A integração com técnicas e ferramentas de processamento de linguagem natural é transparente e, portanto, escondida do usuário final. A partir de uma representação intermediária de documentos RoboWorld, que é derivada automaticamente, o plug-in também verifica automaticamente condições de boa formação e gera uma semântica formal em CyPhyCircus. Estes recursos permitem a modelagem, a verificação, a simulação e testes rigorosos de robôs móveis e autônomos em conjunto com o seu ambiente operacional. O plug-in de RoboTool para RoboWorld foi validado considerando três estudos de caso: um drone de resgate, um robô andarilho e um robô coletor de recursos.
Palavras-chave: Robótica, Linguagem Natural Controlada, Grammatical Framework, Ro boStar, CyPhyCircus, Ferramenta.
Comentários desativados