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

Ask this episode

“What did the council decide on item 42?” — answered with the speaker and the moment.

Transcript

Related