RAS Modeling of an HPC Switch System | IEEE Conference Publication | IEEE Xplore