Design considerations for systems hosted on Integrated Modular Avionics platforms | IEEE Conference Publication | IEEE Xplore