56: Engenharia de missões robóticas, com Genaína Rodrigues (UnB)

Vídeo no YouTube

Resumo

Neste episódio do Fronteiras da Engenharia de Software, Genaína Rodrigues falou sobre suas pesquisas em Engenharia de Missões Robóticas, tendo sido entrevistada por Adolfo Neto e Maria Claudia Emer.

Genaína é professora associada da Universidade de Brasília e possui doutorado pela University College London, além de mestrado pelo CIn/UFPE e graduação pela UnB. Com uma carreira destacada em Engenharia de Sistemas de Software, ela investiga temas como a colaboração entre engenharia de software e robótica, verificação de modelos, sistemas autoadaptativos e requisitos orientados por objetivos. Em 2020, realizou um estágio de pesquisa na Humboldt Universität zu Berlin, com apoio da CAPES e da Fundação Alexander von Humboldt.

Durante a entrevista, Genaína explicou por que a engenharia de missões robóticas é um campo relevante e distinto da engenharia de software tradicional. Ela destacou que os sistemas robóticos operam em ambientes dinâmicos e exigem abordagens específicas para lidar com incertezas, heterogeneidade de plataformas e interação com humanos.

A conversa abordou também pesquisas recentes lideradas por Genaína, como o artigo apresentado na ICSE 2024 sobre requisitos normativos não-funcionais — os chamados requisitos SLEEC (sociais, legais, éticos, empáticos e culturais). Ela detalhou como esses requisitos são essenciais em aplicações robóticas que interagem diretamente com o ambiente social, e apresentou a ferramenta N-Check, baseada em lógica, para verificar a consistência desses requisitos.

Outro destaque foi a arquitetura MissionControl, publicada no Journal of Systems and Software, voltada à coordenação de missões envolvendo robôs heterogêneos. Genaína comentou as decisões arquiteturais que permitiram flexibilidade e adaptabilidade, além dos desafios enfrentados na engenharia de software para esses sistemas complexos.

Ao final, ela convidou estudantes e pesquisadores interessados a colaborarem com seu grupo de pesquisa na UnB e refletiu sobre a próxima fronteira da engenharia de software, enfatizando a importância da confiabilidade e adaptabilidade de sistemas em contextos críticos e mutáveis.

Este episódio contou com a ajuda no roteiro de Michel Albonico, professor da UTFPR que trabalha com Engenharia de Software para Sistemas Cibernéticos: https://michel.iotrixx.com.br/.

Página de Genaína Rodrigues: https://genaina.github.io/

Artigos que foram base para as perguntas:

Analisando e Depurando Requisitos Normativos via Verificação de Satisfatibilidade
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Analisando e Depurando Requisitos Normativos via Verificação de Satisfiabilidade
ICSE 2024
https://arxiv.org/abs/2401.05673
https://doi.org/10.1145/3597503.3639093

“Uma arquitetura para coordenação de missão de robôs heterogêneos”
An architecture for mission coordination of heterogeneous robots
JSS 2022
https://doi.org/10.1016/j.jss.2022.111363

Outros artigos de Genaína:
Mission specification and decomposition for multi-robot systems
Robotics and Autonomous Systems 2023
https://doi.org/10.1016/j.robot.2023.104386

Formal synthesis of uncertainty reduction controllers
SEAMS ‘24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
https://dl.acm.org/doi/10.1145/3643915.3644095

Episódio com Cecilia Rubira sobre Sistemas Adaptativos:
https://fronteirases.github.io/episodios/paginas/50.html

Genaína Rodrigues responde qual é a próxima fronteira da engenharia de software
https://youtu.be/VLMmhRw3NdU?si=HVhXSbcvU0eEfMWP

Alguns dos cortes de nossos episódios são publicados em nosso canal de cortes: ⁠https://www.youtube.com/@CortesDoFronteiras⁠

Comente no YouTube, no Spotify ou pelo email ⁠⁠fronteirasesw@gmail.com⁠⁠

Nosso site é: ⁠⁠⁠⁠⁠⁠https://fronteirases.github.io⁠ ⁠

Rede Emílias de Podcasts: ⁠http://fronteirases.github.io/redeemilias⁠

Data de publicação: 21 de maio de 2025.

Como citar este episódio

FRONTEIRAS DA ENGENHARIA DE SOFTWARE EP. 55: Engenharia de Missões Robóticas, com Genaína Rodrigues (Universidade de Brasília). [Locução de]: Adolfo Neto e Maria Claudia Emeer. Entrevistada: Genaína Rodrigues. S. l.: Fronteiras da Engenharia de Software, 21 mai. 2025. Podcast. Disponível em: ⁠⁠⁠⁠⁠https://fronteirases.github.io/episodios/paginas/56. ⁠Acesso em: DD MES. AAAA