Kernel-Level Design to Support Partitioning and Hierarchical Real-Time Scheduling of ARINC 653 for VxWorks | IEEE Conference Publication | IEEE Xplore