INESC TEC
INESC TEC
INESC TEC
Resultados da pesquisa para:
Filtrar os seus resultados

0 Resultados

SAFER

INESC TEC

Sobre o Projeto

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.
Acrónimo

SAFER

Responsável

Alcino Cunha

Estado

Encerrado

Início

January 1, 2018

Fim

January 15, 2021

Data efetiva de fim

January 15, 2021

Orçamento Global

237 668,26 €

Financiamento

237 668,00 €

Datasheet

--

Centros Associados

Laboratório de Software Confiável

No Laboratório de Software Confiável (HASLab), melhorando a prática através da teoria, criamos e implementamos software que vai além da funcionalidade: garantimos que é correto, resiliente e seguro contra falhas e ataques. A nossa equipa de investigadores, cientistas e engenheiros tem competências em engenharia de software, onde desenvolvemos métodos e ferramentas para conceber e integrar software robusto; sistemas distribuídos, onde exploramos a distribuição e replicação para garantir escalabilidade e confiabilidade; e segurança da informação, onde considerando também os desafios da cibersegurança, fortalecemos os sistemas com protocolos criptográficos avançados e seguros, minimizando vulnerabilidades. Com uma abordagem multidisciplinar e sustentada por princípios teóricos sólidos, criamos soluções inovadoras para software crítico, infraestruturas cloud seguras e gestão de big data com privacidade, impulsionando avanços científicos, inovação e consultoria de excelência. Além disso, complementamos a nossa expertise em áreas como interação humano-computador, linguagens de programação, matemática de computação e computação quântica - porque acreditamos que o futuro do software confiável se constrói com conhecimento e inovação.

Laboratório de Software Confiável

Robótica Industrial e Sistemas Inteligentes

É no Centro de Robótica Industrial e Sistemas Inteligentes que florescem soluções inovadoras para alavancar a robótica no contexto industrial, agrícola e florestal e impulsionar a transformação digital da indústria. Seguimos uma abordagem prática – da conceção à implantação – para ensaiar a navegação e localização de robôs móveis, testar avanços na visão industrial 2D/3D e deteção avançada, sem descurar a robótica industrial e colaborativa, e interfaces humano-robô. O nosso TRIBE LAB é terreno fértil para ideias inovadoras sobre a agricultura do futuro. Ali desenvolvemos protótipos e tecnologia de excelência em robótica agrícola e IoT: com protótipos, sensores avançados (LiDAR, câmaras AI) e ferramentas de prototipagem rápida, aceleramos o desenvolvimento de soluções para o setor agroflorestal. Marcamos ainda presença no iiLab, onde unimos investigação aplicada, demonstração tecnológica e testes em ambiente controlado, promovendo a integração de tecnologias emergentes na indústria. Desde células robóticas inteligentes e sistemas ciberfísicos até à análise de dados e IA, é um espaço de inovação onde as empresas podem experimentar e validar soluções para a fábrica do futuro. Com uma equipa multidisciplinar e alinhado com agendas europeias, o nosso trabalho de investigação combina ciência fundamental e aplicação com impacto no desenho de soluções para a indústria 4.0, promovendo a competitividade e a transformação digital do setor.

Robótica Industrial e Sistemas Inteligentes