發送短信 : On-chip communication system modeling approach for reability analysis focusing on functional failures