{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T16:03:59Z","timestamp":1784822639610,"version":"3.55.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T00:00:00Z","timestamp":1688342400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T00:00:00Z","timestamp":1688342400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004837","name":"Spanish Ministry of Science and Innovation","doi-asserted-by":"publisher","award":["PID2019-107255GB-C21,MCIN\/AEI\/10.13039\/501100011033"],"award-info":[{"award-number":["PID2019-107255GB-C21,MCIN\/AEI\/10.13039\/501100011033"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,3]]},"DOI":"10.1109\/iolts59296.2023.10224867","type":"proceedings-article","created":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T17:50:13Z","timestamp":1693245013000},"page":"1-7","source":"Crossref","is-referenced-by-count":12,"title":["SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core"],"prefix":"10.1109","author":[{"given":"Marcel","family":"Sarraseca","sequence":"first","affiliation":[{"name":"Barcelona Supercomputing Center (BSC),Barcelona,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sergi","family":"Alcaide","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC),Barcelona,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francisco","family":"Fuentes","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC),Barcelona,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan Carlos","family":"Rodriguez","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC),Barcelona,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Feng","family":"Chang","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC),Barcelona,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ilham","family":"Lasfar","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC),Barcelona,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ramon","family":"Canal","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC),Barcelona,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francisco J.","family":"Cazorla","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC),Barcelona,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center (BSC),Barcelona,Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715177"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2019.8854378"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DFT50435.2020.9250750"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/FDL56239.2022.9925668"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3555776.3577610"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS52814.2021.9486715"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.70"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ETS50041.2021.9465444"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1147\/rd.282.0124"},{"key":"ref10","volume-title":"NOEL-V Processor","author":"Gaisler","year":"2012"},{"key":"ref11","article-title":"TACLeBench: A benchmark collection to support worst-case execution time research","volume-title":"WCET Workshop","author":"Falk"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2013.6621132"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2003.1261390"},{"key":"ref14","volume-title":"SELENE hardware platform","year":"2021"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-54999-6_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593155"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2434958"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DSD51259.2020.00066"},{"key":"ref19","volume-title":"AURIX Multicore 32-bit Microcontroller Family to Meet Safety and Powertrain Requirements of Upcoming Vehicle Generations","year":"2012"},{"key":"ref20","volume-title":"ISO\/DIS 26262. Road Vehicles - Functional Safety","year":"2009"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2018.2799799"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.100"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0200"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2038698.2038719"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/545214.545227"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.194"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-S58398.2023.00062"},{"key":"ref28","volume":"7","year":"2023","journal-title":"S32G2 Reference Manual, Rev"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/342001.339652"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2012.2232964"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1999.781037"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1899928.1899932"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.98"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.62"},{"key":"ref36","volume-title":"SiFive Automotive E6-A"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342065"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1147\/rd.435.0863"},{"key":"ref39","volume-title":"SPC570Sx \u2013 32-bit Power Architecture MCU for Automotive Chassis and Safety Applications","year":"2018"}],"event":{"name":"2023 IEEE 29th International Symposium on On-Line Testing and Robust System Design (IOLTS)","location":"Crete, Greece","start":{"date-parts":[[2023,7,3]]},"end":{"date-parts":[[2023,7,5]]}},"container-title":["2023 IEEE 29th International Symposium on On-Line Testing and Robust System Design (IOLTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10224820\/10224858\/10224867.pdf?arnumber=10224867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T01:08:59Z","timestamp":1705021739000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10224867\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,3]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/iolts59296.2023.10224867","relation":{},"subject":[],"published":{"date-parts":[[2023,7,3]]}}}