A Service Provisioning Layer Enabling Simplex-Minded Function Development on Integrated Modular Avionics Hardware | IEEE Conference Publication | IEEE Xplore