Probabilistic schedulability analysis of harmonic multi-task systems with dual-modular temporal redundancy

被引:6
作者
Kim, JK [1 ]
Kim, BK [1 ]
机构
[1] Korea Adv Inst Sci & Technol, Dept Elect Engn & Comp Sci, Taejon 305701, South Korea
关键词
fault tolerance; DMTR; DMTR-HP; probabilistic schedulability; optimal number of subslots;
D O I
10.1023/B:TIME.0000016130.91111.75
中图分类号
TP301 [理论、方法];
学科分类号
081202 [计算机软件与理论];
摘要
To improve reliability of real-time control systems, various fault-tolerance methods have been designed and implemented. We propose a highly reliable control system using modular and temporal redundancy, called dual-modular temporal redundancy (DMTR). Assuming that transient faults occur and recover with exponential probability distributions, we analyze the probabilistic schedulability of DMTR for multiple tasks with harmonic periods (DMTR-HP). After formulating a discrete-time reliability model for DMTR-HP, we formulate an efficient recursive computation algorithm for rapidly obtaining the probabilistic schedulability of the overall system. Considering the overhead for checkpointing in a DMTR-HP control system, we obtain the optimal number of subslots for maximum reliability using our DMTR-HP reliability model. In addition, we compare the reliabilities of DMTR-HP, DMTR using GCDP scheduling (DMTR-GCDP), and conventional dual-modular redundancy (DMR).
引用
收藏
页码:199 / 222
页数:24
相关论文
共 22 条
[1]
AVIZIENIS A, 1984, COMPUTER, V17, P67, DOI 10.1109/MC.1984.1659219
[2]
BOSE B, 1986, CODING THEORY FAULT
[3]
Byung Kook Kim, 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), P364, DOI 10.1109/RTCSA.1999.811281
[4]
OPTIMAL TEST-TIMES FOR INTERMITTENT FAULTS [J].
CHENG, KJ .
IEEE TRANSACTIONS ON RELIABILITY, 1995, 44 (04) :645-647
[5]
CRATER WC, 1971, IEEE T COMPUT, V4, P9
[6]
SELECTION OF A CHECKPOINT INTERVAL IN A CRITICAL-TASK ENVIRONMENT [J].
GEIST, R ;
REYNOLDS, R ;
WESTALL, J .
IEEE TRANSACTIONS ON RELIABILITY, 1988, 37 (04) :395-400
[7]
Fault-tolerant rate-monotonic scheduling [J].
Ghosh, S ;
Melhem, R ;
Mosse, D ;
Sen Sarma, J .
REAL-TIME SYSTEMS, 1998, 15 (02) :149-181
[8]
Determination of an optimal retry time in multiple-module computing systems [J].
Hou, CJ ;
Shin, KG .
IEEE TRANSACTIONS ON COMPUTERS, 1996, 45 (03) :374-379
[9]
KAMEYAMA M, 1980, IEEE T COMPUT, V29, P202
[10]
Kim H, 1996, 1996 IEEE AEROSPACE APPLICATIONS CONFERENCE, PROCEEDINGS, VOL 1, P309, DOI 10.1109/AERO.1996.495892