Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Final Application Draft Consultar edital
Oportunidade Investigação

Engenharia de Software

[Fechado]

Descrição da Oportunidade

Esta bolsa enquadra-se no projeto SAFER - Verificação de Segurança para Software Robótico - que tem por objetivo desenvolver um framework para verificação de propriedades de segurança de execução para software desenvolvido com o Robot Operating System (ROS). Mais concretamente, esta bolsa enquadra-se na Tarefa 3 do referido projeto, onde se pretende desenvolver técnicas para verificação de propriedades end-to-end de sistemas ROS, tendo os seguintes objetivos: - alargar o estado da arte na área científica específica da bolsa, mais concretamente na área da verificação de propriedades de segurança para software robótico; - comparar e selecionar os model-checkers mais adequados à verificação de propriedades end-to-end de sistemas ROS; - definir e implementar uma técnica para extrair modelos do sistema ROS (usando a ferramenta HAROS) que suportem a verificação automática das referidas propriedades usando os model-checkers selecionados; - desenvolver a capacidade de investigação através da aplicação dos métodos selecionados; - exercer o espírito crítico na avaliação do processo de investigação e dos resultados obtidos, em particular na avaliação da eficácia da técnica desenvolvida quanto à capacidade de detetar problemas no software de um sistema robótico realista.

Habilitações Académicas

licenciado e mestre em engenharia informática ou área afim

Requisitos Mínimos

1 artigo publicado em conferência ou revista internacional com revisão por pares.Médias de licenciatura e de mestrado iguais ou superiores a 14 valores.

Fatores de Preferência

Experiência com o Robot Operating System; Experiência com o desenvolvimento de técnicas de extração automática de modelos.

Período de candidatura

Desde 12 Aug 2020 a 25 Aug 2020

[Fechado]

Cluster / Centro

Informática / Laboratório de Software Confiável

Orientador

Alcino Cunha