Executando análise de interferência, micro-benchmarks de contenção e limites de tempo de execução de pior caso.
Processadores multi-core compartilham caches L3, barramentos de memória e canais DMA. Sob a AC 20-193, engenheiros devem catalogar todos os recursos compartilhados e provar que contenções de outros núcleos não afetam tarefas DAL A.
Desenvolvemos cargas patológicas de saturação de barramento de memória enquanto monitoramos contadores de performance em hardware (PMCs) para comprovar limites incontestáveis de WCET.