Cyber Physical Systems; Real Time Systems; Virtualization; Embedded Systems;
CARTS tool is a compositional analysis tool for real time system.
RT-Xen is a real time virtualization system that can be used as a test bed for hierarchical scheduling.
Overhead-Aware Compositional Analysis of Real-Time Systems. Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee and Oleg Sokolsky. 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS' 13), Philadelphia, PA, Apr. 2013. [slide]Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. Meng Xu, Linh T.X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang. Lu and Christopher D. Grill. IEEE Real-Time Systems Symposium (RTSS'13), Vancouver, Canada, Dec. 2013. [slide] (Best Paper Nominee)
|Outstanding Undergraduate Student in Shaanxi Province||2011|
|Computer World Scholarship||2011|
|National Scholarship||2009, 2010|
|Outstanding Undergraduate in Research and Innovation of NPU||2010|
|First-Grade Scholarship of NPU||2008, 2009,2010|
|7720 Diligence Scholarship awarded by NPU||2008|
You are visitor
free url sumission