Use of multicore processors in avionics systems and its potential impact on implementation and certification | IEEE Conference Publication | IEEE Xplore