O Laboratório de Sistemas Embarcados Críticos (LSEC) visa o desenvolvimento de tecnologias de sistemas embarcados para aplicações críticas. O conceito de sistemas embarcados críticos refere-se a sistemas computacionais embarcados que colocam em risco equipamentos e recursos de alto custo e/ou vidas humanas. Normalmente, sistemas deste tipo operam sob fortes requisitos de dependabilidade e eficiente uso de recursos, sendo a maioria deles, mas não todos, operantes sob restrições de tempo real. O tópico central de pesquisa do LSEC tem foco em sistemas embarcados inteligentes capazes de desempenhar complexas tarefas de modo autônomo.