{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:01:15Z","timestamp":1730221275062,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/ewdts.2013.6673209","type":"proceedings-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T19:45:40Z","timestamp":1386186340000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["The use of natural resources for increasing a checkability of the digital components in safety-critical systems"],"prefix":"10.1109","author":[{"given":"A.","family":"Drozd","sequence":"first","affiliation":[]},{"given":"V.","family":"Kharchenko","sequence":"additional","affiliation":[]},{"given":"S.","family":"Antoshchuk","sequence":"additional","affiliation":[]},{"given":"J.","family":"Drozd","sequence":"additional","affiliation":[]},{"given":"M.","family":"Lobachev","sequence":"additional","affiliation":[]},{"given":"J.","family":"Sulima","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"73","article-title":"Multy-version systems: Models, reliability, design technologies","volume":"1","author":"kharchenko","year":"1999","journal-title":"10th European Conference on Safety and Reliability"},{"key":"17","first-page":"698","author":"tanenbaum","year":"2003","journal-title":"Architecture of Computers"},{"key":"18","first-page":"184","article-title":"Assessment in checkability of safety-critical embedded systems components","volume":"6","author":"drozd","year":"2012","journal-title":"Electronic and Computer Systens"},{"year":"0","key":"15"},{"key":"16","first-page":"411","article-title":"Checkability of the digital components in safetycritical systems: Problems and solutions","author":"drozd","year":"2011","journal-title":"Proc IEEE East-West Design &Test Symposium - Sevastopol (Ukraine)"},{"key":"13","first-page":"92","article-title":"Natural resources of co-design and diagnostic of computer systems and their components","author":"drozd","year":"2012","journal-title":"13th International Conference 'Modern Information and Electronic Technology' - Odessa (Ukraine)"},{"journal-title":"NPP I&Cs Problems of Safety","year":"2004","author":"yastrebenetsky","key":"14"},{"key":"11","first-page":"176","article-title":"Digital devices fault tolerant to element","author":"savchenko","year":"1977","journal-title":"Moscow Sov Radio"},{"key":"12","first-page":"160","author":"romankevich","year":"1979","journal-title":"Structural Time Redundancy in Control Circuits"},{"key":"21","first-page":"93","article-title":"Iterative array multiplier with on-line repair of its functions","author":"drozd","year":"2006","journal-title":"Proc IEEE East-West Design &Test Conference - Sochi (Russia)"},{"key":"3","first-page":"396","article-title":"Multiversion fpga-based npp instrumentation and control systems: Automata models, implementation and operation results","author":"sklyar","year":"2007","journal-title":"Proc IEEE East-West Design &Test Symposium - Yerevan (Armenia)"},{"key":"20","first-page":"39","article-title":"Multi-version computer systems with use of strongly connected versions","author":"drozd","year":"2010","journal-title":"Monographs of System Dependability Dependability of Networks - Wroclaw (Poland)"},{"key":"2","first-page":"321","author":"siora","year":"2009","journal-title":"Fault Tolerant Systems with Version-Information Redundancy"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2010.5742122"},{"key":"10","first-page":"180","article-title":"Co-design of testable logic circuits","author":"bennets","year":"1990","journal-title":"M Radio i svyaz"},{"key":"7","first-page":"56","article-title":"Checkability of safety-critical I&Cc system components in normal and emergency modes","volume":"1","author":"drozd","year":"2011","journal-title":"Journal of information control and management systems"},{"key":"6","first-page":"224","author":"shcherbakov","year":"1989","journal-title":"Reliability of Work of the Digital Devices"},{"key":"5","first-page":"139","article-title":"On-line testing of safety-critical I&C systems in normal and emergency modes: Problems and solutions","author":"drozd","year":"2011","journal-title":"Proc First International Workshop 'Critical Infrastructure Safety and Security"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008244815697"},{"key":"9","first-page":"878","article-title":"Design of dynamically checked computers","author":"carter","year":"1968","journal-title":"Proc IFIP Congress 68 - Edinburgh (Scotland)"},{"key":"8","first-page":"376","author":"lokazuk","year":"2004","journal-title":"Reliability Checking Diagnostic and Modernization of PC"}],"event":{"name":"2013 11th East-West Design and Test Symposium (EWDTS)","start":{"date-parts":[[2013,9,27]]},"location":"Rostov-on-Don, Russia","end":{"date-parts":[[2013,9,30]]}},"container-title":["East-West Design & Test Symposium (EWDTS 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6663756\/6673074\/06673209.pdf?arnumber=6673209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T22:50:56Z","timestamp":1490223056000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6673209\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2013.6673209","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}