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


Durmus M. S., Erıs O., Yıldırım U., Söylemez M. T.

TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, cilt.23, sa.5, ss.1507-1521, 2015 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 23 Sayı: 5
  • Basım Tarihi: 2015
  • Doi Numarası: 10.3906/elk-1306-228
  • Dergi Adı: TURKISH JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, TR DİZİN (ULAKBİM)
  • Sayfa Sayıları: ss.1507-1521
  • Anahtar Kelimeler: Bitwise-voting, N-version programming, programmable logic controllers, railway interlocking systems, safety-critical software, FAULT-TOLERANT SYSTEMS, SOFTWARE, ALGORITHMS
  • İstanbul Teknik Üniversitesi Adresli: Evet

Özet

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.

Full text is available at  https://dergipark.org.tr/tr/pub/tbtkelektrik/issue/12115/144812