Empirical analysis of coherence for MPSoCs in avionics embedded critical systems