Weilong Ruan, Zhengjun Zhai. Kernel-Level Design to Support Partitioning and Hierarchical Real-Time Scheduling of ARINC 653 for VxWorks. In IEEE 12th International Conference on Dependable, Autonomic and Secure Computing, DASC 2014, Dalian, China, August 24-27, 2014. pages 388-393, IEEE, 2014. [doi]
Abstract is missing.