{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T22:01:35Z","timestamp":1768687295397,"version":"3.49.0"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1109\/tii.2009.2039938","type":"journal-article","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T21:00:59Z","timestamp":1267563659000},"page":"195-205","source":"Crossref","is-referenced-by-count":24,"title":["Component-Based Safety Analysis of FPGAs"],"prefix":"10.1109","volume":"6","author":[{"given":"Philippa","family":"Conmy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iain","family":"Bate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","first-page":"215","article-title":"automated and probabilistic failure analysis","author":"ge","year":"2009","journal-title":"In Proc SAFECOMP"},{"key":"ref31","author":"joseph","year":"2001","journal-title":"Real-Time Systems Specification Verification and Analysis"},{"key":"ref30","article-title":"automated safety analysis for domain-specific languages","author":"paige","year":"2008","journal-title":"Proc Workshop on Non-Functional System Properties in Domain Specific Modeling Languages"},{"key":"ref10","article-title":"safety challenges for model driven development","author":"audsley","year":"2003","journal-title":"Proc Int Workshop on Metamodelling for MDA"},{"key":"ref11","first-page":"79","article-title":"safe composition of real time software","author":"conmy","year":"2005","journal-title":"Proc 9th IEEE High Assurance Syst Eng Conf"},{"key":"ref12","first-page":"469","article-title":"firmware in safety critical subsystems","author":"isaac","year":"2004","journal-title":"Proc Int System Safety Conf"},{"key":"ref13","first-page":"1","article-title":"consequences and categories of sram fpga configuration seus","author":"graham","year":"2003","journal-title":"Proc Military and Aerosp Programmable Logic Devices Int Conf"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364421"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FPGA.2000.903403"},{"key":"ref16","first-page":"6","article-title":"a radiation-tolerant low-power transceiver design for reconfigurable communications and navigation applications","author":"weigand","year":"2002","journal-title":"Earth Science Technology Conf"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80820-X"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.917428"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/11589976_9"},{"key":"ref28","year":"1992","journal-title":"DO-178B\/ED-12B"},{"key":"ref4","year":"2000","journal-title":"DO-254\/ED-80"},{"key":"ref27","first-page":"2\/1","article-title":"from memory to monitor-pixel display architectures","author":"storey","year":"1992","journal-title":"Computer Graphics Systems IEE Colloquium on"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2005.860745"},{"key":"ref6","year":"1988","journal-title":"Design automation standards subcommittee of the design automation technical committee of the computer society of the IEEE and automatic test program generation subcommittee of the IEEE standards coordinating committee 20"},{"key":"ref29","year":"2008","journal-title":"Xilinx Design Elements"},{"key":"ref5","year":"2001","journal-title":"Functional safety of electrical\/electronic\/programmable electronic safety-related systems (IEC 61508)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/23.490893"},{"key":"ref7","year":"2009","journal-title":"Xilinx Design Tools"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.229"},{"key":"ref9","author":"leveson","year":"1995","journal-title":"Safeware"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081190"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2004.1281774"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.32"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484792"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0152-y"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(00)00076-4"},{"key":"ref26","year":"2003"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.051"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/5458325\/05422708.pdf?arnumber=5422708","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:47:03Z","timestamp":1633913223000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5422708\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":32,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tii.2009.2039938","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5]]}}}