26
ago
2025
Nossa pesquisa em sistemas embarcados foca na criação do cérebro por trás dos drones. Nós projetamos e implementamos hardware e software especializados para atender às exigências rigorosas desses dispositivos. Nosso trabalho em Computação Reconfigurável nos permite criar hardware adaptável que pode mudar sua função em tempo real, enquanto os Sistemas de Tempo Real garantem que as operações críticas sejam executadas dentro de prazos rigorosos. Usamos Projeto Formal Baseado em Modelos para verificar matematicamente a correção e segurança de nossos sistemas, e desenvolvemos Arquiteturas Específicas de Domínio adaptadas às necessidades computacionais únicas dos drones, como baixo consumo de energia e alta velocidade de processamento.