Modelos de Programação Linear Inteira para Geração de Executivos Cíclicos Multicore com Dependências Entre Tarefas

A geração de executivos cíclicos (ECs) em plataformas multicore amplia desafios antes restritos a sistemas unicore. Neste trabalho, propomos modelos baseados em Programação Linear Inteira (ILP) para construção de ECs em ambientes multicore, integrando explicitamente relações de precedência e exclusão entre tarefas, aspectos críticos negligenciados em trabalhos anteriores. Os modelos propostos permitem gerar ECs preemptivos e não preemptivos sob esquemas de alocação particionada e global, garantindo previsibilidade temporal mesmo em cenários com interdependências complexas. Os resultados experimentais demonstram que os modelos produzem executivos cíclicos ótimos para diversos conjuntos de tarefas, comprovando sua eficácia em cenários de pequena e média escala.