{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:55:57Z","timestamp":1760597757904,"version":"3.37.3"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2018,12,1]],"date-time":"2018-12-01T00:00:00Z","timestamp":1543622400000},"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 Systems Journal"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/jsyst.2017.2726178","type":"journal-article","created":{"date-parts":[[2017,7,21]],"date-time":"2017-07-21T18:25:47Z","timestamp":1500661547000},"page":"3473-3484","source":"Crossref","is-referenced-by-count":3,"title":["A Practical Analytical Approach to Increase Confidence in PLD-Based Systems Safety Analysis"],"prefix":"10.1109","volume":"12","author":[{"given":"Antonio Vieira","family":"da Silva Neto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucio Flavio","family":"Vismari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo Alexandre Veiga","family":"Gimenes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel Baraldi","family":"Sesso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge Rady","family":"de Almeida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo Sergio","family":"Cugnasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5098-6769","authenticated-orcid":false,"given":"Joao Batista","family":"Camargo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2008.4493676"},{"journal-title":"Safety of Computer Architectures","year":"2010","author":"boulanger","key":"ref30"},{"key":"ref10","first-page":"198","article-title":"Design and implementation of safety logic with fine impulse test system for a nuclear reactor\n shutdown system","year":"0","journal-title":"Proc 2014 27th Int Conf VLSI Design 2014 13th Int Conf Embedded Syst IEEE"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2013.52"},{"journal-title":"Proc 2013 25th Int Conf Microelectron","article-title":"Design and implementation of an FPGA-based 1oo4-architecture for safety-related system-on-chips","year":"0","key":"ref12"},{"year":"2010","key":"ref13"},{"year":"2012","key":"ref14","article-title":"Railway applications–The\n specification and demonstration of reliability, availability, maintainability and safety (RAMS)–Part 4:\n Functional safety–Electrical\/electronic\/programmable electronic systems"},{"year":"2000","key":"ref15","article-title":"RTCA\/DO-254 design assurance guidance for airborne electronic hardware"},{"key":"ref16","first-page":"1","article-title":"Arguing the safety of FPGAs within safety\n critical systems","year":"0","journal-title":"Proc 4th IET Int Conf Syst Safety 2009 Incorporating SaRS Annu Conf"},{"key":"ref17","first-page":"303","article-title":"Iterative FPGA\n implementation easing safety certification for mixed-criticality embedded real-time systems","year":"0","journal-title":"2014 17th Euromicro Conference on Digital System Design"},{"key":"ref18","first-page":"319","article-title":"SRAM-based FPGA design techniques for safety related systems\n conforming to IEC 61508 a survey and analysis","year":"0","journal-title":"2012 2nd Int Conf Adv Comput Tools Eng Appl"},{"year":"2010","key":"ref19","article-title":"Position paper DO254-UG-001—Best practice VHDL coding standards for\n DO-254 programs"},{"journal-title":"MIL-STD-338B - Military Handbook—Electronic Reliability Design Handbook","year":"1998","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12154-3_16"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/I2MTC.2013.6555503"},{"year":"2013","key":"ref3","article-title":"Toyota seeks a settlement for sudden acceleration cases"},{"article-title":"Killed by code: Software transparency in\n implantable medical devices","year":"2010","author":"sandler","key":"ref6"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1109\/TII.2009.2039938","article-title":"Component-based safety analysis of FPGAs","volume":"6","author":"philippa","year":"2010","journal-title":"IEEE Trans Ind Informat"},{"year":"2016","key":"ref5","article-title":"List of device recalls"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2015.2450677"},{"key":"ref7","first-page":"5a1-1","article-title":"DO-254 high-speed interfaces compliance","author":"weintroub","year":"0","journal-title":"Proc 2014 IEEE\/AIAA 33rd Digit Avionics Syst Conf"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2370455"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2422265"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961856"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2014.79"},{"key":"ref21","first-page":"1581","article-title":"Logic synthesis of assertions\n for safety-critical applications","year":"0","journal-title":"Proc 2015 IEEE Int Conf Ind Technol"},{"key":"ref24","first-page":"31","article-title":"Mapping time-critical safety-critical cyber\n physical systems to hybrid FPGAs","author":"kizheppatt","year":"0","journal-title":"Proc 2014 IEEE Int Conf Cyber-Phys Syst Netw Appl"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2014.2324532"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/I2MTC.2012.6229556"},{"journal-title":"ISO\/IEC\/IEEE Standard for Systems and Software Engineering—Software Life Cycle Processes IEEE Standard 12207-2008","first-page":"1c","year":"2008","key":"ref25"}],"container-title":["IEEE Systems Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4267003\/8543256\/07987771.pdf?arnumber=7987771","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T15:19:44Z","timestamp":1643296784000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7987771\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":31,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/jsyst.2017.2726178","relation":{},"ISSN":["1932-8184","1937-9234","2373-7816"],"issn-type":[{"type":"print","value":"1932-8184"},{"type":"electronic","value":"1937-9234"},{"type":"electronic","value":"2373-7816"}],"subject":[],"published":{"date-parts":[[2018,12]]}}}