Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications | IEEE Conference Publication | IEEE Xplore