{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T05:20:16Z","timestamp":1759814416216},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1109\/latw.2017.7906760","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T17:12:09Z","timestamp":1493053929000},"page":"1-6","source":"Crossref","is-referenced-by-count":8,"title":["An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard"],"prefix":"10.1109","author":[{"given":"E.","family":"Bagalini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Sonza","family":"Reorda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Violante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Klimesch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Sarson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1996.534615"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/2.585157"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.54"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1039"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989460"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1010058"},{"key":"ref16","article-title":"Error propagation analysis of software architecture specifications","author":"nassar","year":"0","journal-title":"Proc of the International Conference on Computer and Communication Engineering ICCCE"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2011.5754453"},{"key":"ref18","article-title":"Failure mode\/mechanism distributions (No. FMD-91)","author":"chandler","year":"1991","journal-title":"Reliability Center Analysis Griffiss Air Force Base NY"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2015.7493164"},{"year":"0","key":"ref4"},{"year":"0","key":"ref3"},{"key":"ref6","first-page":"348","article-title":"Fault injection for dependability validation of fault-tolerant computing systems","author":"arlat","year":"0","journal-title":"19th International Symposium on Fault-Tolerant Computing"},{"journal-title":"Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation","year":"2003","author":"benso","key":"ref5"},{"key":"ref8","article-title":"Fault injection for failure prediction methods validation","author":"vieira","year":"0","journal-title":"Proc of Workshop on Hot Topics in System Dependability at DSN 2009"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.44380"},{"journal-title":"Control Systems Safety Evaluation and Reliability","year":"0","author":"goble","key":"ref2"},{"year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/12.780878"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2007.10"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2004.1281774"}],"event":{"name":"2017 18th IEEE Latin American Test Symposium (LATS)","start":{"date-parts":[[2017,3,13]]},"location":"Bogota, Colombia","end":{"date-parts":[[2017,3,15]]}},"container-title":["2017 18th IEEE Latin American Test Symposium (LATS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7899159\/7906734\/07906760.pdf?arnumber=7906760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T16:12:18Z","timestamp":1494864738000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7906760\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/latw.2017.7906760","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}