Presentation 2008-04-23
Finding the Optimal Configuration of a Cascading Single-Voter TMR System
Masashi HAMAMATSU, Tatsuhiro TSUCHIYA, Tohru KIKUNO,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) Triple modular redundancy (TMR) is a major method that is used for implementing fault tolerant systems. In TMR, a module unit is triplicated, and the outputs of these three units are compared by a voter. A system connecting multiple TMR in series is called a cascading TMR system. Traditionally cascading single-voter TMR systems use voters of fan-out three. Recently, however, a new cascading single-voter TMR system configuration which uses voters of fan-out one was proposed. This study proposes a method of calculation the reliability of cascading single-voter TMR systems and an algorithm for finding the optimal configuration of a cascading single-voter TMR system. The method of calculating reliability uses a case-splitting based on the state of the values of the three lines in a cascading single-voter TMR system to calculate the occurrence probability of each state at every stage. The method of finding the optimal configuration of a cascading single-voter TMR system uses the branch and bound approach to explore the solution space effectively.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) Fault Tolerant System / Triple Modular Redundancy(TMR) / Cascading TMR
Paper # CPSY2008-6,DC2008-6
Date of Issue

Conference Information
Committee DC
Conference Date 2008/4/16(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Dependable Computing (DC)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Finding the Optimal Configuration of a Cascading Single-Voter TMR System
Sub Title (in English)
Keyword(1) Fault Tolerant System
Keyword(2) Triple Modular Redundancy(TMR)
Keyword(3) Cascading TMR
1st Author's Name Masashi HAMAMATSU
1st Author's Affiliation Graduate School of Information Science and Technology, Osaka University()
2nd Author's Name Tatsuhiro TSUCHIYA
2nd Author's Affiliation Graduate School of Information Science and Technology, Osaka University
3rd Author's Name Tohru KIKUNO
3rd Author's Affiliation Graduate School of Information Science and Technology, Osaka University
Date 2008-04-23
Paper # CPSY2008-6,DC2008-6
Volume (vol) vol.108
Number (no) 15
Page pp.pp.-
#Pages 6
Date of Issue