{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T10:09:04Z","timestamp":1744970944760,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1109\/ewdts50664.2020.9224925","type":"proceedings-article","created":{"date-parts":[[2020,10,15]],"date-time":"2020-10-15T16:00:47Z","timestamp":1602777647000},"page":"1-6","source":"Crossref","is-referenced-by-count":13,"title":["Method for Assessing Probabilistic Reliability Estimation and Safety of Railway Automation Systems Redundant Structures"],"prefix":"10.1109","author":[{"given":"Dmitry S.","family":"Markov","sequence":"first","affiliation":[]},{"given":"Oleg A.","family":"Nasedkin","sequence":"additional","affiliation":[]},{"given":"Alexander D.","family":"Manakov","sequence":"additional","affiliation":[]},{"given":"Michael N.","family":"Vasilenko","sequence":"additional","affiliation":[]},{"given":"Alexey G.","family":"Kotenko","sequence":"additional","affiliation":[]},{"given":"Vladimir L.","family":"Belozerov","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCIE.2009.5223968"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2017.8110095"},{"key":"ref12","first-page":"458","author":"theeg","year":"2018","journal-title":"Railway Signalling & Interlocking 2nd Edition"},{"year":"0","key":"ref13"},{"key":"ref14","first-page":"96","article-title":"Simulation models for calculating the reliability of systems. Using GPSS World”, Imitatcionny`e modeli rascheta nadezhnosti sistem","author":"zhernovyi","year":"2018","journal-title":"Ispol`zovanie GPSS World"},{"key":"ref15","first-page":"408","author":"lazarev","year":"1978","journal-title":"Synthesis of control machines"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2019.8884415"},{"key":"ref4","first-page":"270","author":"smith","year":"2010","journal-title":"Safety Critical Systems Handbook A Straightforward Guide to Functional Safety IEC 61508 and Related Standards Including Process IEC 61511 and Machinery IEC 62061 and ISO 13849"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2009.4914668"},{"key":"ref6","first-page":"23","article-title":"Features of confirmation of compliance with railway safety requirements during the transition period after the adoption of technical regulations of the customs union","volume":"2","author":"belishkina","year":"2016","journal-title":"Automation Transactions"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/SICE.2018.8492691"},{"key":"ref8","first-page":"186","article-title":"The matrix method of formalizing simulation models of complex mass service systems","author":"markov","year":"2010","journal-title":"Proc PST"},{"key":"ref7","first-page":"546","author":"shubinskii","year":"2016","journal-title":"Reliable fault tolerant information systems Synthesis methods"},{"key":"ref2","first-page":"208","article-title":"Functional safety: A Straightforward Guide to IEC 61508 and Related Standards. - Butterworth-Heinemann","author":"smith","year":"2001"},{"key":"ref1","first-page":"1085","article-title":"Methods for providing safety in discrete systems","volume":"55","author":"gavzov","year":"1994","journal-title":"Autom Remote Control"},{"key":"ref9","first-page":"23","article-title":"The method of formalization of simulation models of technological processes in the economy of automation and remote control in railway transport","author":"markov","year":"2012","journal-title":"Proc PST"}],"event":{"name":"2020 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2020,9,4]]},"location":"Varna, Bulgaria","end":{"date-parts":[[2020,9,7]]}},"container-title":["2020 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9220087\/9224633\/09224925.pdf?arnumber=9224925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T11:48:28Z","timestamp":1656330508000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9224925\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ewdts50664.2020.9224925","relation":{},"subject":[],"published":{"date-parts":[[2020,9]]}}}