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

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 SatisfatibilidadeAnalyzing and Debugging Normative Requirements via Satisfiability CheckingAnalisando e Depurando Requisitos Normativos via Verificação de SatisfiabilidadeICSE 2024https://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 robotsJSS 2022https://doi.org/10.1016/j.jss.2022.111363 Episódio com Cecilia Rubira sobre  Sistemas Adaptativos:https://fronteirases.github.io/episodios/paginas/50.htmlAlguns 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