On the Analysis of Real-time Operating System Reliability in Embedded Systems