{"id":"https://openalex.org/W1956927923","doi":"https://doi.org/10.1109/tcad.2015.2434958","title":"Timely Error Detection for Effective Recovery in Light-Lockstep Automotive Systems","display_name":"Timely Error Detection for Effective Recovery in Light-Lockstep Automotive Systems","publication_year":2015,"publication_date":"2015-05-19","ids":{"openalex":"https://openalex.org/W1956927923","doi":"https://doi.org/10.1109/tcad.2015.2434958","mag":"1956927923"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2015.2434958","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2015.2434958","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2117/87259","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047492364","display_name":"Carles Hern\u00e1ndez","orcid":"https://orcid.org/0000-0001-5393-3195"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]},{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Carles Hernandez","raw_affiliation_strings":["Barcelona Supercomputing Center (BSC-CNS), Barcelona, Spain","Barcelona Supercomputing Center (BSC-CNS),#N#Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center (BSC-CNS), Barcelona, Spain","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]},{"raw_affiliation_string":"Barcelona Supercomputing Center (BSC-CNS),#N#Barcelona, Spain","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020861175","display_name":"Jaume Abella","orcid":"https://orcid.org/0000-0001-7951-4028"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jaume Abella","raw_affiliation_strings":["Barcelona Supercomputing Center (BSC-CNS), Barcelona, Spain","Barcelona Supercomputing Center (BSC-CNS),#N#Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center (BSC-CNS), Barcelona, Spain","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]},{"raw_affiliation_string":"Barcelona Supercomputing Center (BSC-CNS),#N#Barcelona, Spain","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047492364"],"corresponding_institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":2.9687,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.90757904,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"34","issue":"11","first_page":"1718","last_page":"1729"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7618923187255859},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.6837466359138489},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.656069278717041},{"id":"https://openalex.org/keywords/reset","display_name":"Reset (finance)","score":0.6439273357391357},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5260369777679443},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.5012929439544678},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.4956425428390503},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.47740688920021057},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4478066861629486},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.36501848697662354},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21543100476264954},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.20149189233779907},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0971176028251648}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7618923187255859},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.6837466359138489},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.656069278717041},{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.6439273357391357},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5260369777679443},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.5012929439544678},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.4956425428390503},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.47740688920021057},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4478066861629486},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36501848697662354},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21543100476264954},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.20149189233779907},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0971176028251648},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tcad.2015.2434958","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2015.2434958","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:dnet:upcommonspor::626352a76853b995cf2cad007a5e0b20","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/87259","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/submittedVersion"},{"id":"pmh:oai:upcommons.upc.edu:2117/87259","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/87259","pdf_url":null,"source":{"id":"https://openalex.org/S4210207057","display_name":"QRU Quaderns de Recerca en Urbanisme","issn_l":"2014-9689","issn":["2014-9689","2385-6777"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310322448","host_organization_name":"Q71272178","host_organization_lineage":["https://openalex.org/P4310322448"],"host_organization_lineage_names":["Q71272178"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:dnet:upcommonspor::626352a76853b995cf2cad007a5e0b20","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/87259","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/submittedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W29248510","https://openalex.org/W1579215414","https://openalex.org/W1595228467","https://openalex.org/W1864485850","https://openalex.org/W1935947664","https://openalex.org/W1976924039","https://openalex.org/W2025474944","https://openalex.org/W2067452186","https://openalex.org/W2089564137","https://openalex.org/W2096847101","https://openalex.org/W2102480715","https://openalex.org/W2116059696","https://openalex.org/W2117172651","https://openalex.org/W2120185818","https://openalex.org/W2145071552","https://openalex.org/W2146763352","https://openalex.org/W2146949636","https://openalex.org/W2147206786","https://openalex.org/W2153588082","https://openalex.org/W2166987606","https://openalex.org/W2543171663","https://openalex.org/W4240029073","https://openalex.org/W6675837356","https://openalex.org/W6677155578"],"related_works":["https://openalex.org/W350273603","https://openalex.org/W2393495588","https://openalex.org/W3008339103","https://openalex.org/W96259911","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W3119814709","https://openalex.org/W2018477250","https://openalex.org/W4385608460"],"abstract_inverted_index":{"Safety-relevant":[0],"systems":[1,31,111,230],"in":[2,28,82,87,90,92,102,109,131,151,228,237,240],"the":[3,80,83,88,103,116,140,158,181,197,211,241],"automotive":[4,104],"domain":[5],"often":[6],"implement":[7],"features":[8],"such":[9,30,99],"as":[10,50,100,126,128],"lockstep":[11],"execution":[12],"for":[13,20,171,225],"error":[14,21,107,117,163,215,226],"detection,":[15],"and":[16,18,148,178,206],"reset":[17],"re-execution":[19],"correction.":[22],"Light-lockstep":[23],"has":[24,71],"already":[25],"been":[26,72],"adopted":[27],"some":[29],"due":[32,145,202],"to":[33,58,75,146,195,203],"its":[34],"relatively":[35],"low-implementation":[36],"cost":[37],"given":[38],"that":[39,157],"it":[40],"does":[41],"not":[42],"require":[43],"deep":[44],"changes":[45],"into":[46],"nonlockstep":[47],"hardware.":[48],"Instead,":[49],"only":[51],"off-core":[52],"activities":[53],"(i.e.,":[54],"data/addresses":[55],"sent)":[56],"need":[57],"be":[59,167],"compared":[60],"across":[61],"different":[62],"cores,":[63,89],"light-lockstep":[64,110,152,185,235],"designs":[65],"are":[66,125],"lowly":[67],"intrusive.":[68],"This":[69],"approach":[70],"proven":[73],"sufficient":[74],"guarantee":[76],"functional":[77,129],"correctness":[78],"of":[79,85,143,184,200,213,243],"system":[81],"presence":[84],"errors":[86,144],"particular":[91],"relation":[93],"with":[94],"certification":[95],"against":[96],"safety":[97],"standards":[98],"ISO26262":[101],"domain.":[105],"However,":[106],"detection":[108,199,216],"may":[112],"occur":[113],"long":[114],"after":[115],"actually":[118],"occurs,":[119],"thus":[120,209],"jeopardizing":[121],"timing":[122,141,217],"guarantees,":[123],"which":[124],"critical":[127],"ones":[130],"hard":[132],"real-time":[133],"systems.":[134,153],"In":[135],"this":[136,176],"paper,":[137],"we":[138,187],"analyze":[139,221],"behavior":[142],"transient":[147,205],"permanent":[149,172,207],"faults":[150],"Our":[154],"results":[155],"show":[156],"time":[159],"elapsed":[160],"until":[161],"an":[162],"is":[164],"detected":[165],"can":[166],"inordinately":[168],"large,":[169],"especially":[170],"faults.":[173],"Based":[174],"on":[175],"observation":[177],"building":[179],"upon":[180],"specific":[182],"characteristics":[183],"systems,":[186],"propose":[188],"lightly":[189],"verbose":[190],"(LiVe),":[191],"a":[192],"new":[193],"mechanism":[194],"enforce":[196],"early":[198],"errors,":[201],"both":[204],"faults,":[208],"enabling":[210],"computation":[212],"tight":[214],"bounds.":[218],"We":[219],"also":[220],"how":[222],"existing":[223],"mechanisms":[224],"recovery":[227],"multicore":[229],"increase":[231],"their":[232],"effectiveness":[233],"when":[234],"operates":[236],"LiVe":[238],"mode":[239],"context":[242],"mixed-criticality":[244],"workloads.":[245]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}