Leveraging Multi-core Computing Architectures in Avionics
WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches