{"id":"https://openalex.org/W4389166645","doi":"https://doi.org/10.1109/iccad57390.2023.10323809","title":"Checkpoint Placement for Systematic Fault-Injection Campaigns","display_name":"Checkpoint Placement for Systematic Fault-Injection Campaigns","publication_year":2023,"publication_date":"2023-10-28","ids":{"openalex":"https://openalex.org/W4389166645","doi":"https://doi.org/10.1109/iccad57390.2023.10323809"},"language":"en","primary_location":{"id":"doi:10.1109/iccad57390.2023.10323809","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad57390.2023.10323809","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066046654","display_name":"Christian Dietrich","orcid":"https://orcid.org/0000-0001-9258-0513"},"institutions":[{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]},{"id":"https://openalex.org/I884043246","display_name":"Hamburg University of Technology","ror":"https://ror.org/04bs1pb34","country_code":"DE","type":"education","lineage":["https://openalex.org/I884043246"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Christian Dietrich","raw_affiliation_strings":["Hamburg University of Technology"],"affiliations":[{"raw_affiliation_string":"Hamburg University of Technology","institution_ids":["https://openalex.org/I159176309","https://openalex.org/I884043246"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035254345","display_name":"Tim-Marek Thomas","orcid":"https://orcid.org/0009-0000-8197-2423"},"institutions":[{"id":"https://openalex.org/I114112103","display_name":"Leibniz University Hannover","ror":"https://ror.org/0304hq317","country_code":"DE","type":"education","lineage":["https://openalex.org/I114112103"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tim-Marek Thomas","raw_affiliation_strings":["Leibniz Universität Hannover"],"affiliations":[{"raw_affiliation_string":"Leibniz Universität Hannover","institution_ids":["https://openalex.org/I114112103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053266341","display_name":"Matthias Mnich","orcid":"https://orcid.org/0000-0002-4721-5354"},"institutions":[{"id":"https://openalex.org/I884043246","display_name":"Hamburg University of Technology","ror":"https://ror.org/04bs1pb34","country_code":"DE","type":"education","lineage":["https://openalex.org/I884043246"]},{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Mnich","raw_affiliation_strings":["Hamburg University of Technology"],"affiliations":[{"raw_affiliation_string":"Hamburg University of Technology","institution_ids":["https://openalex.org/I159176309","https://openalex.org/I884043246"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5066046654"],"corresponding_institution_ids":["https://openalex.org/I159176309","https://openalex.org/I884043246"],"apc_list":null,"apc_paid":null,"fwci":0.4016,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61589693,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9954000115394592,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9883999824523926,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7205176949501038},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.7171053290367126},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5759655833244324},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.5462609529495239},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.518645703792572},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.490358829498291},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.4804927110671997},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.462754487991333},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42411428689956665},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35017287731170654},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3402714729309082},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19635489583015442},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1437113881111145},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11729505658149719},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11536815762519836},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.1081731915473938}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7205176949501038},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7171053290367126},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5759655833244324},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5462609529495239},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.518645703792572},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.490358829498291},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.4804927110671997},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.462754487991333},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42411428689956665},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35017287731170654},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3402714729309082},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19635489583015442},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1437113881111145},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11729505658149719},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11536815762519836},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.1081731915473938},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad57390.2023.10323809","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad57390.2023.10323809","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1908654170","https://openalex.org/W1921113851","https://openalex.org/W2006053872","https://openalex.org/W2026387607","https://openalex.org/W2074177842","https://openalex.org/W2094127360","https://openalex.org/W2119000119","https://openalex.org/W2120860555","https://openalex.org/W2121043529","https://openalex.org/W2132341426","https://openalex.org/W2135577965","https://openalex.org/W2138861322","https://openalex.org/W2142584061","https://openalex.org/W2163295644","https://openalex.org/W2163940104","https://openalex.org/W2172208013","https://openalex.org/W2247093607","https://openalex.org/W2401610261","https://openalex.org/W2547972117","https://openalex.org/W2562735887","https://openalex.org/W2900669297","https://openalex.org/W2926761828","https://openalex.org/W3173261253","https://openalex.org/W4232751114","https://openalex.org/W4233983565","https://openalex.org/W4235799760","https://openalex.org/W4246094986","https://openalex.org/W4248399907","https://openalex.org/W4248779893","https://openalex.org/W6603821856","https://openalex.org/W6677752811","https://openalex.org/W6685251632","https://openalex.org/W6748667634"],"related_works":["https://openalex.org/W2170587542","https://openalex.org/W4301628046","https://openalex.org/W2951627661","https://openalex.org/W3014207222","https://openalex.org/W2130922779","https://openalex.org/W2121043529","https://openalex.org/W2082366402","https://openalex.org/W2120242933","https://openalex.org/W1657300322","https://openalex.org/W2083209667"],"abstract_inverted_index":{"Shrinking":[0],"hardware":[1,14],"structures":[2],"and":[3,171,181,210],"decreasing":[4],"operating":[5],"voltages":[6],"lead":[7],"to":[8,22,87,102,193,212],"an":[9,41,168],"increasing":[10],"number":[11],"of":[12,48,71,109,127],"transient":[13],"faults,":[15,39],"which":[16,82],"thus":[17],"become":[18],"a":[19,68,130,160,172,183,189],"core":[20],"problem":[21,154,164],"consider":[23],"for":[24,67],"safety-critical":[25],"systems.":[26],"Here,":[27],"systematic":[28],"fault":[29,73],"injection":[30,56,97],"(FI),":[31],"where":[32],"one":[33],"program-under-test":[34],"is":[35,78,83],"systematically":[36],"stressed":[37],"with":[38],"provides":[40],"in-depth":[42],"resilience":[43],"analysis":[44],"in":[45,117,155,165],"the":[46,72,79,84,89,93,105,110,125,134,145,152,178,194,202],"presence":[47],"faults.":[49],"However,":[50],"FI":[51],"campaigns":[52],"require":[53],"many":[54],"independent":[55],"experiments":[57],"and,":[58],"combined,":[59],"long":[60],"run":[61],"times,":[62],"especially":[63,138],"if":[64,139],"we":[65,122,140,150],"aim":[66],"high":[69],"coverage":[70],"space.":[74],"One":[75,99],"cost":[76],"factor":[77],"forwarding":[80,106,136],"phase,":[81],"time":[85,146],"required":[86,135],"bring":[88],"system-under":[90],"test":[91],"into":[92],"fault-free":[94,111],"state":[95,113],"at":[96,114,206],"time.":[98,118],"common":[100],"technique":[101],"speed":[103],"up":[104,211],"are":[107],"checkpoints":[108,128],"system":[112],"fixed":[115],"points":[116],"In":[119],"this":[120],"paper,":[121],"show":[123],"that":[124,176],"placement":[126],"has":[129],"significant":[131],"influence":[132],"on":[133,144,188],"cycles,":[137],"place":[141],"faults":[142],"non-uniformly":[143],"axis.":[147],"For":[148],"this,":[149],"discuss":[151],"checkpoint-selection":[153,185],"general,":[156],"formalize":[157],"it":[158],"as":[159],"maximum-weight":[161],"reward":[162],"path":[163],"graphs,":[166],"propose":[167],"ILP":[169],"formulation":[170],"dynamic":[173],"programming":[174],"algorithm":[175],"find":[177],"optimal":[179],"solution,":[180],"provide":[182],"heuristic":[184],"method":[186],"based":[187],"genetic":[190],"algorithm.":[191],"Applied":[192],"MiBench":[195],"benchmark":[196],"suite,":[197],"our":[198],"approach":[199],"consistently":[200],"reduces":[201],"forward-phase":[203],"cycles":[204],"by":[205],"least":[207],"88":[208],"percent":[209,214],"99.934":[213],"when":[215],"placing":[216],"16":[217],"checkpoints.":[218]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}