Online NoC Switch Fault Detection and Diagnosis Using a High Level Fault Model | IEEE Conference Publication | IEEE Xplore