System considerations for robust time and space partitioning in Integrated Modular Avionics | IEEE Conference Publication | IEEE Xplore