A new bitwise voting strategy for safety-critical systems with binary decisions

The main issue in controlling safety-critical systems such as nuclear power reactors or railway interlocking systems is to provide high safety and reliability where the risk ratio is at the highest level because small errors might result in hazardous accidents (e.g., death or injury of many people). The N-version programming technique, where N-different modules run in parallel, can be used to improve the reliability and safety of such systems at the desired safety level. Decisions of N-different modules are then evaluated by another component, usually known as the voter, using different voting strategies. In the current study a bitwise voting strategy to evaluate module decisions that are based on safe-states of variables is proposed and possible synchronization problems between the modules are determined. Sequence diagrams and solutions for synchronization problems are also explained.

[1]  Robert E. Lyons,et al.  The Use of Triple-Modular Redundancy to Improve Computer Reliability , 1962, IBM J. Res. Dev..

[2]  J.L. Gersting,et al.  A comparison of voting algorithms for n-version programming , 1991, Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences.

[3]  Seetharamaiah Panchumarthy,et al.  A Novel History based Weighted Voting Algorithm for Safety Critical Systems , 2011 .

[4]  J. Neumann Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components , 1956 .

[5]  B. Parhami Voting algorithms , 1994 .

[6]  Oytun Eris,et al.  Synchronizing Automata and Petri Net based controllers , 2011, 2011 7th International Conference on Electrical and Electronics Engineering (ELECO).

[7]  J. von Neumann,et al.  Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components , 1956 .

[8]  G. R. Latif-Shabgahi,et al.  A novel algorithm for weighted average voting used in fault tolerant computing systems , 2004, Microprocess. Microsystems.

[9]  Gholamreza Latif Shabgahi,et al.  A fuzzy voting scheme for hardware and software fault tolerant systems , 2005, Fuzzy Sets Syst..

[10]  Algirdas Avizienis Fault-Tolerant Systems , 1976, IEEE Trans. Computers.

[11]  Aviziens Fault-Tolerant Systems , 1976, IEEE Transactions on Computers.

[12]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[13]  Dave E. Eckhardt,et al.  A theoretical investigation of generalized voters for redundant systems , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[14]  Mehmet Turan,et al.  Application of Functional Safety on Railways Part II: Software Development , 2011 .

[15]  Edward J. McCluskey,et al.  Word-voter: a new voter design for triple modular redundant systems , 2000, Proceedings 18th IEEE VLSI Test Symposium.

[16]  Arthur E. Cooper,et al.  Development of On-Board Space Computer Systems , 1976, IBM J. Res. Dev..

[17]  Stuart Bennett,et al.  A taxonomy for software voting algorithms used in safety-critical systems , 2004, IEEE Transactions on Reliability.

[18]  Stuart Bennett,et al.  Smoothing voter: a novel voting algorithm for handling multiple errors in fault-tolerant control systems , 2003, Microprocess. Microsystems.

[19]  Algirdas Avizienis,et al.  The N-Version Approach to Fault-Tolerant Software , 1985, IEEE Transactions on Software Engineering.

[20]  Kenneth Gl Simpson,et al.  Functional Safety: A Straightforward Guide to Applying IEC 61508 and Related Standards , 2004 .

[21]  Oytun Eris,et al.  A new voting strategy in Diverse programming for railway interlocking systems , 2011, Proceedings 2011 International Conference on Transportation, Mechanical, and Electrical Engineering (TMEE).

[22]  Mehmet Turan Soylemez,et al.  Application of functional safety on railways part I: Modelling & design , 2011, 2011 8th Asian Control Conference (ASCC).