System-level modeling and reliability analysis of microprocessor systems