@inproceedings{5ad78bcf8ff24b7c87f837a40df8aea1,
title = "Safety-critical interlocking software development process for fixed-block signalization systems",
abstract = "Reliability is defined as {"}ability of an item to perform a required function under given conditions for a given period of time{"} in CENELEC (European Committee for Electrotechnical Standardization) EN 50128 document where software development requirements for railway applications are defined. Similarly, Software Reliability is defined as the probability of failure-free software operation for a specified period of time in a specified environment which is also important factor affecting system reliability (Pan, 2012). Systems such as railway signalization systems, where small errors can result in fatal accidents and death of several people or possibility of unwanted risks (like component malfunction) is high, also need software with high reliability. In this study, some parts of the safety-critical interlocking software development process for the Turkish National Railway Signalization Project (TNRSP) executed in cooperation with Istanbul Technical University (ITU) and The Scientific and Technological Research Council of Turkey (TUBITAK) for Turkish State Railways is defined.",
keywords = "Interlocking, Railway signalization systems, Safety-critical software",
author = "Durmu{\c s}, \{Mustafa S.\} and Uǧur Yildirim and Oytun Eri{\c s} and S{\"o}ylemez, \{Mehmet T.\}",
year = "2012",
doi = "10.3182/20120912-3-BG-2031.00034",
language = "English",
isbn = "9783902823137",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "24",
pages = "165--170",
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",
}