{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T14:28:09Z","timestamp":1774448889712,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/ewdts.2011.6116606","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T14:28:21Z","timestamp":1325860101000},"page":"411-416","source":"Crossref","is-referenced-by-count":36,"title":["Checkability of the digital components in safety-critical systems: Problems and solutions"],"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":"Sulima","sequence":"additional","affiliation":[]},{"given":"M.","family":"Drozd","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"34","article-title":"Checking by inequalities of floating-point multiplier of mantissas","volume":"38","author":"drozd","year":"2002","journal-title":"Visnik NTUU 'KPI'"},{"key":"17","first-page":"166","article-title":"A new on-line testing method to increase the reliability of checking approximated results","author":"said","year":"2009","journal-title":"4-th International Conference \"Advanced Computer Systems and Networks Design and Application\""},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2004.1333305"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915042"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2000.840897"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2006.61"},{"key":"14","year":"1985","journal-title":"IEEE Standard for Binary Floating-Point Arithmetic"},{"key":"11","first-page":"878","article-title":"Design of dynamically checked computers","volume":"68","author":"carter","year":"1968","journal-title":"Proc IFIP Congress"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998395"},{"key":"21","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":"Proceedings of the First International Workshop Critical Infrastructure Safety and Security (CrISS-DESSERT 2011)"},{"key":"3","first-page":"321","article-title":"Fault tolerant systems with version-information redundancy","author":"siora","year":"2009","journal-title":"National Aerospace University \"KhAI\""},{"key":"20","first-page":"62","article-title":"Effectiveness of on-line testing methods in approximate data processing","author":"drozd","year":"2005","journal-title":"The 1st East-West Design and Test Conference"},{"key":"2","first-page":"188","author":"kharchenko","year":"2008","journal-title":"FPGA-based NPP I&C Systems Development and Safety Assessment"},{"key":"1","first-page":"472","author":"yastrebenetsky","year":"2004","journal-title":"NPP I&Cs Problems of Safety"},{"key":"10","year":"0"},{"key":"7","first-page":"137","article-title":"Increase in reliability of the on-line testing methods using features of approximate data processing","author":"drozd","year":"2008","journal-title":"1th International Conference on Waterside Security"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008244815697"},{"key":"5","first-page":"73","article-title":"Multy-version systems: Models, reliability, design technologies","volume":"1","author":"kharchenko","year":"1999","journal-title":"European Safety and Reliability Conf"},{"key":"4","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"},{"key":"9","year":"0"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2010.5742122"}],"event":{"name":"Test Symposium (EWDTS)","location":"Sevastopol, Ukraine","start":{"date-parts":[[2011,9,9]]},"end":{"date-parts":[[2011,9,12]]}},"container-title":["2011 9th East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6107929\/6116407\/06116606.pdf?arnumber=6116606","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T13:20:33Z","timestamp":1490102433000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6116606\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2011.6116606","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}