Research on Ultra-Dependable Embedded Real Time Operating System. - Hui Chen; ShiPing Yang (GreenCom, 2011)