A Dependability Model for TMR System  

作　　者：Peng, Jun-Jie  Liu, Yan-Ping  Chen, Yuan-Yuan 

机构地区：[1] School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China [2] Key Laboratory of Computer System and Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China

出　　处：《International Journal of Automation and computing》2012年第3期315-324,共10页国际自动化与计算杂志（英文版）

基　　金：supported by Innovation Project of Shanghai Municipal Education Commission (No. 11YZ09);Shanghai Leading Academic Discipline Project (No. J50103);Foundation of Key Laboratory of Computer System and Architecture, Institute of Computing Technology, Chinese Academy of Sciences

摘　　要：Much research has been done on the dependability evaluation of computer systems. However, much of this is gone no further than study of the fault coverage of such systems, with little focus on the relationship between fault coverage and overall system dependability. In this paper, a Markovian dependability model for triple-modular-redundancy (TMR) system is presented. Having fully considered the effects of fault coverage, working time, and constant failure rate of single module on the dependability of the target TMR system, the model is built based on the stepwise degradation strategy. Through the model, the relationship between the fault coverage and the dependability of the system is determined. What is more, the dependability of the system can be dynamically and precisely predicted at any given time with the fault coverage set. This will be of much benefit for the dependability evaluation and improvement, and be helpful for the system design and maintenance.Much research has been done on the dependability evaluation of computer systems. However, much of this is gone no further than study of the fault coverage of such systems, with little focus on the relationship between fault coverage and overall system dependability. In this paper, a Markovian dependability model for triple-modular-redundancy (TMR) system is presented. Having fully considered the effects of fault coverage, working time, and constant failure rate of single module on the dependability of the target TMR system, the model is built based on the stepwise degradation strategy. Through the model, the relationship between the fault coverage and the dependability of the system is determined. What is more, the dependability of the system can be dynamically and precisely predicted at any given time with the fault coverage set. This will be of much benefit for the dependability evaluation and improvement, and be helpful for the system design and maintenance.

关 键 词：DEPENDABILITY Markovian model COVERAGE triple-modular-redundancy (TMR) failure rate. 

分 类 号：TP302.7[自动化与计算机技术—计算机系统结构]