{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T05:45:43Z","timestamp":1783489543606,"version":"3.55.0"},"reference-count":41,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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":[[2019,6]]},"DOI":"10.1109\/dessert.2019.8770035","type":"proceedings-article","created":{"date-parts":[[2019,7,26]],"date-time":"2019-07-26T00:20:12Z","timestamp":1564100412000},"page":"1-6","source":"Crossref","is-referenced-by-count":18,"title":["Development of Models in Resilient Computing"],"prefix":"10.1109","author":[{"given":"Oleksandr","family":"Drozd","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vyacheslav","family":"Kharchenko","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"Rucinski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thaddeus","family":"Kochanski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raymond","family":"Garbos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dmitry","family":"Maevsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","first-page":"328","article-title":"The principle of recovery logic FPGA for critical applications by adapting to failures of logic elements","author":"tyurin","year":"2013","journal-title":"World Applied Sciences Journal"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55595-9_11"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2006.61"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6069-9_1"},{"key":"ref31","article-title":"The apocalypses that might have been","author":"gillis","year":"2007","journal-title":"DAMN Interesting"},{"key":"ref30","year":"1992","journal-title":"DOE Guideline Root Cause Analysis Guidance Document Office of Nuclear Energy and Office of Nuclear Safety Policy and Standards"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2004.04.001"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-48302-1_36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/356683.356687"},{"key":"ref34","article-title":"A structural study of parallel pipelined systems","author":"li","year":"1975","journal-title":"PhD dissertation"},{"key":"ref10","year":"2010","journal-title":"Functional Safety of Electrical \/ Electronic \/ Programmable Electronic Safety Related Systems &#x2013; Part 1 General requirements"},{"key":"ref40","first-page":"322","article-title":"Use of Natural LUT Redundancy to Improve Trustworthiness of FPGA Design","volume":"1614","author":"drozd","year":"2016","journal-title":"CEUR Workshop Proceedings"},{"key":"ref11","author":"yastrebenetsky","year":"2004","journal-title":"NPP I&Cs Problems of Safety"},{"key":"ref12","year":"2011","journal-title":"Core Knowledge on Instrumentation and Control Systems in Nuclear Power Plants Technical Reports"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.accinf.2008.09.001"},{"key":"ref14","article-title":"Using Gartner&#x2019;s Hype Curve as a basis to analyze research on the educational use of ubiquitous computing","author":"laru","year":"2015","journal-title":"CSCL-2013 Conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1093\/acref\/9780192802903.001.0001"},{"key":"ref16","first-page":"347","article-title":"Tolstoy&#x2019;s Ideology of Non-Violence: A Critical Appraisal","volume":"7","author":"tahir","year":"2012","journal-title":"On dialogue[M]"},{"key":"ref17","author":"guk","year":"2003","journal-title":"Hardware of IBM PC Encyclopaedia"},{"key":"ref18","article-title":"NVIDIA CUDA Compute Unified Device Architecture","year":"2007","journal-title":"Programming Guide\/Version 1 0"},{"key":"ref19","year":"2017","journal-title":"The Encyclopedia of Human-Computer Interaction"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2013.6673183"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1461928.1461946"},{"key":"ref27","first-page":"3","article-title":"Embedded method of SoC diagnosis","author":"hahanov","year":"2008","journal-title":"Elektronoka Elektrotechnika"},{"key":"ref3","first-page":"46","article-title":"Dependable Systems and Multi-version Calculations: Aspects of Evolution","volume":"7","author":"kharchenko","year":"2009","journal-title":"Radioelectronic and Computer Systems"},{"key":"ref6","year":"2008","journal-title":"On-line Monitoring for Improving Performance of Nuclear Power Plants Part 2 Process and Component Condition Monitoring and Diagnostics"},{"key":"ref29","first-page":"476","article-title":"Features of Hidden Fault Detection in Pipeline Components of Safety-Related System","volume":"1356","author":"drozd","year":"2015","journal-title":"CEUR Workshop Proceedings"},{"key":"ref5","year":"2006","journal-title":"Basic Infrastructure for a Nuclear Power Project IAEA-TECDOC-1513"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DT.2013.6566310"},{"key":"ref7","article-title":"Risk-analysis in critical informational control system based on computing with words&#x2019; models","author":"brezhnev","year":"2010","journal-title":"VII international workshop of Digital Technologies"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2006.56"},{"key":"ref9","year":"2007","journal-title":"Nuclear power plants &#x2013; Instrumentation and control systems important to safety &#x2013; Hardware design requirements for computer-based systems"},{"key":"ref1","article-title":"Deliverable D12","year":"2006","journal-title":"Resilience-Building Technologies State of Knowledge"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1998.731615"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2013.6662656"},{"key":"ref21","article-title":"SelfChecking scheme for the on-line testing of power supply noise","author":"metra","year":"2002","journal-title":"Design Automation and Test in Europe Conference"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2015.7341410"},{"key":"ref41","first-page":"654","article-title":"Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems","volume":"1844","author":"drozd","year":"2017","journal-title":"CEUR Workshop Proceedings"},{"key":"ref23","first-page":"32","article-title":"Synthesis of multilevel structures with multiple outputs","volume":"1631","author":"opanasenko","year":"2016","journal-title":"CEUR Workshop Proceedings"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS-SWS.2018.8525578"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55595-9_8"}],"event":{"name":"2019 10th International Conference on Dependable Systems, Services and Technologies (DESSERT)","location":"Leeds, United Kingdom","start":{"date-parts":[[2019,6,5]]},"end":{"date-parts":[[2019,6,7]]}},"container-title":["2019 10th International Conference on Dependable Systems, Services and Technologies (DESSERT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8765677\/8770005\/08770035.pdf?arnumber=8770035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:10:44Z","timestamp":1657854644000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8770035\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/dessert.2019.8770035","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}