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
