{"id":"https://openalex.org/W2151677873","doi":"https://doi.org/10.1109/tii.2013.2248373","title":"Software-Based Control Flow Checking Against Transient Faults in Industrial Environments","display_name":"Software-Based Control Flow Checking Against Transient Faults in Industrial Environments","publication_year":2013,"publication_date":"2013-02-23","ids":{"openalex":"https://openalex.org/W2151677873","doi":"https://doi.org/10.1109/tii.2013.2248373","mag":"2151677873"},"language":"en","primary_location":{"id":"doi:10.1109/tii.2013.2248373","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2013.2248373","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"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 Industrial Informatics","raw_type":"journal-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/A5007164539","display_name":"Seyyed Amir Asghari","orcid":"https://orcid.org/0000-0003-1506-3533"},"institutions":[{"id":"https://openalex.org/I158248296","display_name":"Amirkabir University of Technology","ror":"https://ror.org/04gzbav43","country_code":"IR","type":"education","lineage":["https://openalex.org/I158248296"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"Seyyed Amir Asghari","raw_affiliation_strings":["Department of Computer Engineering and Information Technology, Amirkabir University of Technology, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering and Information Technology, Amirkabir University of Technology, Tehran, Iran","institution_ids":["https://openalex.org/I158248296"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068837119","display_name":"Hassan Taheri","orcid":"https://orcid.org/0000-0001-5582-5585"},"institutions":[{"id":"https://openalex.org/I158248296","display_name":"Amirkabir University of Technology","ror":"https://ror.org/04gzbav43","country_code":"IR","type":"education","lineage":["https://openalex.org/I158248296"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Hassan Taheri","raw_affiliation_strings":["Department of Electrical Engineering, Amirkabir University of Technology, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Amirkabir University of Technology, Tehran, Iran","institution_ids":["https://openalex.org/I158248296"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085021768","display_name":"Hossein Pedram","orcid":"https://orcid.org/0000-0002-2331-0568"},"institutions":[{"id":"https://openalex.org/I158248296","display_name":"Amirkabir University of Technology","ror":"https://ror.org/04gzbav43","country_code":"IR","type":"education","lineage":["https://openalex.org/I158248296"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Hossein Pedram","raw_affiliation_strings":["Department of Computer Engineering and Information Technology, Amirkabir University of Technology, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering and Information Technology, Amirkabir University of Technology, Tehran, Iran","institution_ids":["https://openalex.org/I158248296"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066257732","display_name":"Okyay Kaynak","orcid":"https://orcid.org/0000-0002-4789-6700"},"institutions":[{"id":"https://openalex.org/I4405392","display_name":"Bo\u011fazi\u00e7i University","ror":"https://ror.org/03z9tma90","country_code":"TR","type":"education","lineage":["https://openalex.org/I4405392"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Okyay Kaynak","raw_affiliation_strings":["Department of Electrical Engineering, Bogazici University, Istanbul, Turkey"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Bogazici University, Istanbul, Turkey","institution_ids":["https://openalex.org/I4405392"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5007164539"],"corresponding_institution_ids":["https://openalex.org/I158248296"],"apc_list":null,"apc_paid":null,"fwci":3.3636,"has_fulltext":false,"cited_by_count":47,"citation_normalized_percentile":{"value":0.92974079,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"10","issue":"1","first_page":"481","last_page":"490"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12495","display_name":"Electrostatic Discharge in Electronics","score":0.992900013923645,"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.7248634099960327},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.6321974396705627},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.556657075881958},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.531909167766571},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5300946831703186},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.5242108106613159},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.5173927545547485},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.5129885077476501},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4785778522491455},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3658488988876343},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.36567944288253784},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3419577479362488},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3199560046195984},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15908581018447876},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11686593294143677}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7248634099960327},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.6321974396705627},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.556657075881958},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.531909167766571},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5300946831703186},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5242108106613159},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.5173927545547485},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.5129885077476501},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4785778522491455},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3658488988876343},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.36567944288253784},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3419577479362488},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3199560046195984},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15908581018447876},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11686593294143677},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tii.2013.2248373","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2013.2248373","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"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 Industrial Informatics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.550000011920929}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1999514245","https://openalex.org/W2012322514","https://openalex.org/W2013037345","https://openalex.org/W2022740893","https://openalex.org/W2039306564","https://openalex.org/W2042456747","https://openalex.org/W2073826979","https://openalex.org/W2081331027","https://openalex.org/W2098739261","https://openalex.org/W2102924384","https://openalex.org/W2103369046","https://openalex.org/W2104189106","https://openalex.org/W2106996997","https://openalex.org/W2109413546","https://openalex.org/W2112333201","https://openalex.org/W2112628395","https://openalex.org/W2121442374","https://openalex.org/W2122753206","https://openalex.org/W2125241902","https://openalex.org/W2130189691","https://openalex.org/W2137922462","https://openalex.org/W2138357184","https://openalex.org/W2140228712","https://openalex.org/W2142371476","https://openalex.org/W2145930995","https://openalex.org/W2147163354","https://openalex.org/W2158202311","https://openalex.org/W2169596872","https://openalex.org/W2179459495","https://openalex.org/W2187758556","https://openalex.org/W3183102676","https://openalex.org/W4253998042","https://openalex.org/W6676780988","https://openalex.org/W6686735810"],"related_works":["https://openalex.org/W2138385884","https://openalex.org/W2166895275","https://openalex.org/W2998775986","https://openalex.org/W157564837","https://openalex.org/W2080313875","https://openalex.org/W2011536294","https://openalex.org/W4210453401","https://openalex.org/W1724049288","https://openalex.org/W2150418816","https://openalex.org/W1565879960"],"abstract_inverted_index":{"Mechatronic":[0],"systems":[1,18],"operating":[2],"in":[3,65,114,134,142,191,197],"industrial":[4],"environments":[5],"are":[6,27,81,90,105,155],"subject":[7],"to":[8,125,131],"a":[9,43,216,227],"variety":[10],"of":[11,14,51,74,101,166,212,250],"threats":[12],"because":[13],"harsh":[15],"conditions.":[16],"Industrial":[17],"usually":[19],"use":[20],"commercial":[21],"off-the":[22],"shelf":[23],"(COTS)":[24],"equipment":[25],"which":[26,222],"not":[28,69],"robust":[29],"and":[30,35,45,67,79,89,127,144,179,203,244],"safe":[31],"against":[32],"hostile":[33],"conditions":[34],"therefore":[36],"require":[37],"fault-tolerance":[38],"considerations.":[39],"This":[40],"paper":[41,116],"presents":[42],"novel":[44,217],"efficient":[46],"method":[47,119,168,252],"for":[48,92,209],"online":[49],"detection":[50,123,164,258],"control":[52,57,93],"flow":[53,58,94],"errors,":[54],"called":[55,219],"software-based":[56],"checking":[59,95],"(SCFC).":[60],"It":[61,111,225],"is":[62,112,170,226],"implemented":[63],"purely":[64],"software":[66],"does":[68],"manipulate":[70],"the":[71,75,84,102,108,115,128,148,176,194,204,207,231,238,241,245,257],"hardware":[72],"architecture":[73],"system.":[76],"Redundant":[77],"instructions":[78],"signatures":[80,100],"embedded":[82],"into":[83],"program":[85,109],"at":[86,96],"compile":[87],"time":[88,247],"utilized":[91],"run":[97],"time.":[98],"The":[99,163],"basic":[103],"blocks":[104],"derived":[106],"from":[107],"graph.":[110],"shown":[113],"that":[117,181],"SCFC":[118,182],"can":[120,183],"increase":[121,141],"single":[122],"capability":[124],"14.7%":[126],"fault":[129,239],"coverage":[130],"6.12%":[132],"averagely":[133],"comparison":[135],"with":[136],"other":[137,188],"methods":[138,189],"without":[139],"any":[140],"memory":[143,195,242],"performance":[145],"overheads.":[146],"In":[147],"paper,":[149],"besides":[150],"experimental":[151,177],"evaluations,":[152],"analytical":[153],"evaluations":[154],"also":[156],"carried":[157],"out,":[158],"based":[159],"on":[160],"probability":[161],"principles.":[162],"ability":[165],"each":[167,251],"used":[169],"thus":[171],"computed.":[172],"These":[173],"computations":[174],"verify":[175],"results":[178],"show":[180],"detect":[184],"more":[185],"errors":[186],"than":[187,230],"suggested":[190],"literature.":[192],"Considering":[193],"limitations":[196],"some":[198],"(such":[199],"as":[200,254,256],"space)":[201],"applications":[202],"trend":[205],"towards":[206],"requirement":[208],"faster":[210],"execution":[211,246],"programs,":[213],"we":[214],"suggest":[215],"metric":[218],"fitness":[220],"parameter":[221],"incorporates":[223],"these.":[224],"better":[228],"measure":[229],"previously":[232],"proposed":[233],"ones":[234],"since":[235],"it":[236],"considers":[237],"coverage,":[240],"overhead":[243],"(performance":[248],"overhead)":[249],"simultaneously,":[253],"well":[255],"capability.":[259]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}