An overview of ARINC 653 part 4 | IEEE Conference Publication | IEEE Xplore