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
[email protected] 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
