2 University of Electronic Science Technology of China(UESTC) Chapter 3 s Software System Real-Time Systems Lab LIAO Yong2 Real-Time Systems Lab LIAO Yong University of Electronic Science & Technology of China (UESTC) Chapter 3 Software System