Task-scheduling strategies for reliable TMR controllers using task grouping and assignment

Real-time computers are often used in embedded, life-critical applications where high reliability is important. A common approach to make such systems dependable is to vote on redundant processors executing multiple copies of the same task. The most popular redundant structure is Triple Modular Redundancy (TMR), The processors that make up such systems are subject not only to independently occurring permanent & transient faults, but to correlated transient faults, such as electromagnetic interference (EMI) caused by the operating environment, This paper proposes two new scheduling strategies for TMR computer-controllers, Both strategies can tolerate correlated faults as well as independent faults. These strategies, TMR-R (TMR with Rotated task group) and TMR-Q (TMR with Quintuple computation), are developed using task grouping and assignment, To evaluate the reliability of these strategies, a discrete-time Markov model for control systems is devised, Reliability equations for the TMR-R and TMR-Q are derived from state transitions of sampling intervals based on the Markov model. The reliability of these TMR is proved by comparing them with a conventional TMR, using numerical analysis. These proposed strategies are anticipated to be useful for control systems operating in harsh environments, such rls controllers of airplanes or nuclear power plants.
Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
Issue Date
2000-12
Language
ENG
Keywords

RETRY POLICY; COMPUTERS; SYSTEMS; FAULTS

Citation

IEEE TRANSACTIONS ON RELIABILITY, v.49, no.4, pp.355 - 362

ISSN
0018-9529
URI
http://hdl.handle.net/10203/1101
Appears in Collection
EE-Journal Papers(저널논문)
Files in This Item
IJ_2000swkwak.pdf(158.29 kB)Download
  • Hit : 535
  • Download : 453
  • Cited 0 times in thomson ci
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡClick to seewebofscience_button
⊙ Cited 7 items in WoSClick to see citing articles inrecords_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0