Proposing a Highly Reliable Real-Time Operating System for a Processor with a Fault Self-Detecting Mechanism | IEEE Conference Publication | IEEE Xplore