Corresponding author. Tianran Zhou was born in 1984. He is a Ph.D. candidate in School of Electronic and Information Engineering at Beihang University. He received the B.S. degree in 2005 from Beihang University. From 2008 to 2010, he visited the DREAM Lab at University of California, Irvine. His research interests are realtime embedded systems, distributed computing, and avionics systems. E-mail: tianran_zhou @ ee.buaa.edu.cn Huagang Xiong was born in 1961. He is a professor in School of Electronic and Information Engineering at Beihang University. His major research fields are avionics and digital communication. E-mail: hgxiong @ ee.buaa.edu.cn Zhen Zhang was born in 1978. He is a Ph.D. candidate in Department of Electrical Engineering and Computer Science at University of California, Irvine. He received his B.E. and M.E. degrees in 2001 and 2004 respectively from Southeast University. His research interests are real-time embedded systems and distributed computing. E-mail: zhen @ dream.eng.uci.edu