Banca de DEFESA: FELIPE AUGUSTO DA SILVA MENDONÇA

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE: FELIPE AUGUSTO DA SILVA MENDONÇA
DATA : 22/08/2025
HORA: 08:00
LOCAL: Virtual
TÍTULO:

Investigando a corretude de um sistema robotico via RoboChart: Um
sistema de distribuicao de medicamentos do mundo real

PALAVRAS-CHAVES:

RoboChart; CSP; Formalização de requisitos; Verificação de
conformidade; Refinamento de Traces.

 

PÁGINAS: 82
RESUMO:

A crescente complexidade dos sistemas de controle em robôs autônomos exige
métodos rigorosos para assegurar a conformidade entre especificações e
implementações, especialmente em contextos críticos, como a dispensação de
medicamentos. Este trabalho apresenta uma abordagem baseada na formalização
de requisitos usando RoboChart (uma notação gráfica para a modelagem de
sistemas robóticos), que possui uma semântica formal definida na álgebra de
processos CSP. A metodologia proposta inclui a obtenção e abstração do LTS
proveniente da semântica CSP de um modelo RoboChart e a verificação de
conformidade por meio de um algoritmo próprio simplificado de traces
refinement checking, permitindo identificar inconsistências entre
especificações formais e implementações práticas desenvolvidas em Python. A
abordagem foi aplicada em um sistema robótico de dispensação de
medicamentos do Hospital das Clínicas da UFPE (HC-UFPE), desenvolvido no
âmbito do projeto CRIAR — Centro de Robótica e Inteligência Artificial
Responsável. O sistema integra controle de braço robótico e visão
computacional. Os resultados indicam que a abordagem facilita a detecção de
erros e promove um desenvolvimento mais robusto. Como contribuições
principais, destacam-se: uma sistemática de formalização de requisitos
informais utilizando RoboChart; o desenvolvimento de um algoritmo próprio
para verificação de refinamento de traces e a aplicação da metodologia em
dois estudos de caso.

 

MEMBROS DA BANCA:
Interno - 2331188 - ALEXANDRE CABRAL MOTA
Presidente - 2382523 - GUSTAVO HENRIQUE PORTO DE CARVALHO
Externo à Instituição - SIDNEY DE CARVALHO NOGUEIRA - UFRPE