Designing Reliable Embedded Systems Without RTOS