Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Descrição

Verificação de segurança para software robótico

O projeto SAFER pretende desenvolver técnicas no contexto de ROS. Para facilitar a integração e adoção pela comunidade robótica, o projeto vai desenvolver técnicas que funcionarão a partir do código fonte e serão apoiadas por ferramentas de verificação automatizada.

Detalhes

Mais Informação

  • Acrónimo

    SAFER
  • Início

    01 julho 2018
  • Orçamento global

    237.668,26 €
  • Estado

    Fechado
  • Data de encerramento

    15 outubro 2021
  • Fim

    15 outubro 2021
  • Responsável

    Alcino Cunha
  • Financiamento

    237.668,26 €
  • Financiado por

Equipa