Banca de DEFESA: FRANCISCO WILSON RODRIGUES JÚNIOR

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: FRANCISCO WILSON RODRIGUES JÚNIOR
DATA : 21/09/2023
HORA: 10:00
LOCAL: Virtual
TÍTULO:

A RoboTool plug-in for RoboWorld

PALAVRAS-CHAVES:

Robótica, Linguagem Natural Controlada, Grammatical Framework, Ro boStar, CyPhyCircus, Ferramenta.

PÁGINAS: 86
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.

MEMBROS DA BANCA:
Interno - 2382523 - GUSTAVO HENRIQUE PORTO DE CARVALHO
Presidente - 1670543 - JULIANO MANABU IYODA
Externo à Instituição - SIDNEY DE CARVALHO NOGUEIRA - UFRPE