Managing cache partitioning in multicore processors for certifiable, safety-critical avionics software applications | IEEE Conference Publication | IEEE Xplore