{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T11:19:00Z","timestamp":1780053540670,"version":"3.54.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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]]},"DOI":"10.1109\/dft50435.2020.9250861","type":"proceedings-article","created":{"date-parts":[[2020,11,11]],"date-time":"2020-11-11T22:04:48Z","timestamp":1605132288000},"page":"1-6","source":"Crossref","is-referenced-by-count":13,"title":["On the Analysis of Real-time Operating System Reliability in Embedded Systems"],"prefix":"10.1109","member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/12.54853"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/12.980005"},{"key":"ref12","first-page":"459","article-title":"Characterization of linux kernel behavior under errors","author":"gu","year":"2003","journal-title":"2003 International Conference on Dependable Systems and Networks 2003 Proceedings"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2017.10"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DEPEND.2010.10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2011.64"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LASCAS.2014.6820257"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.14569\/IJACSA.2017.080537"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2016.39"},{"key":"ref19","first-page":"272","article-title":"Reliability demonstration testing method for embedded operating systems","author":"chen","year":"2010","journal-title":"The 2nd International Conference on Software Engineering and Data Mining SEDM"},{"key":"ref4","year":"0","journal-title":"FreeRTOS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250719"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2014.01.002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS.2014.6850649"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/12.364536"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.666826"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2018.2887225"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2015.312"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2016.0284"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.188"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090716"},{"key":"ref21","year":"2015","journal-title":"AutoBench 1 1 Software Benchmark Data Book"}],"event":{"name":"2020 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)","location":"Frascati, Italy","start":{"date-parts":[[2020,10,19]]},"end":{"date-parts":[[2020,10,21]]}},"container-title":["2020 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9250742\/9250725\/09250861.pdf?arnumber=9250861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T15:44:53Z","timestamp":1656344693000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9250861\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/dft50435.2020.9250861","relation":{},"subject":[],"published":{"date-parts":[[2020]]}}}