Desenvolvimento de um Compilador para Arquiteturas PRET (Precision Timed Machines)

Descrição

Sistemas embarcados críticos, como robôs, sistemas automotivos e dispositivos médicos, exigem previsibilidade temporal para garantir funcionamento seguro e confiável. Entretanto, arquiteturas modernas baseadas em cache e execução especulativa dificultam a análise precisa do tempo de execução. As arquiteturas PRET (Precision Timed Machines) surgem como alternativa ao priorizar comportamento determinístico. Este projeto propõe o desenvolvimento de um compilador experimental para arquiteturas PRET utilizando memórias scratchpad e transferência explícita de dados via DMA. O compilador será responsável pela alocação de código e dados, gerenciamento de movimentação entre memória principal e scratchpad e otimização voltada para previsibilidade temporal. Espera-se contribuir para pesquisas em sistemas embarcados, compiladores e sistemas ciberfísicos, além de fortalecer atividades de ensino e pesquisa na instituição.