@inproceedings{80fb63bb89624280b88f317750f7020f,
title = "N-version programming for railway interlocking systems: Synchronization and voting strategy",
abstract = "The main issue in controlling safety-critical systems such as nuclear power reactors or railway signalization systems where risk ratio is at the highest level because small errors might result in hazardous accidents (e.g. death or injury of several people) is to satisfy safety-related standards and provide high-safety with high-reliability. In order to improve reliability and safety of such systems to the required level by decreasing common-cause failures at the same time, diverse programming (or Nversion programming) technique where N-different independently designed modules run in parallel on the same input output specifications can be used. In this study, a new bitwise voting strategy based on safe-states of variables is proposed and possible critical races between modules those run in a parallel manner are determined. Solutions for critical races are also explained.",
keywords = "Bit-by-bit-voting, Critical race, N-version programming, Safety-critical software",
author = "Oytun Eri{\c s} and Uǧur Yildirim and Durmu{\c s}, {Mustafa S.} and S{\"o}ylemez, {Mehmet T.} and Salman Kurtulan",
year = "2012",
doi = "10.3182/20120912-3-BG-2031.00036",
language = "English",
isbn = "9783902823137",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "24",
pages = "177--180",
booktitle = "Control in Transportation Systems 2012 - Preprints of the 13th IFAC Symposium CTS 2012",
edition = "24",
note = "13th IFAC Symposium on Control in Transportation Systems, CTS 2012 ; Conference date: 12-09-2012 Through 14-09-2012",
}