Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs | IEEE Conference Publication | IEEE Xplore