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

Episódio com Cecilia Rubira sobre Sistemas Adaptativos:

https://fronteirases.github.io/episodios/paginas/50.html

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 Emer. 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

Gambiconf ⁠https://bit.ly/gambiconf⁠SE4FP ⁠https://bit.ly/SE4FP_FES_EEF⁠00:00 Abertura00:30 SE4FP18:22 Gambiconf