{"id":"https://openalex.org/W2049837000","doi":"https://doi.org/10.1109/tc.2015.2417554","title":"Cross-Layer Software Dependability on Unreliable Hardware","display_name":"Cross-Layer Software Dependability on Unreliable Hardware","publication_year":2015,"publication_date":"2015-03-29","ids":{"openalex":"https://openalex.org/W2049837000","doi":"https://doi.org/10.1109/tc.2015.2417554","mag":"2049837000"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2015.2417554","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2015.2417554","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"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 Computers","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/A5058712739","display_name":"Semeen Rehman","orcid":"https://orcid.org/0000-0002-8972-0949"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Semeen Rehman","raw_affiliation_strings":["Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany","Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany#TAB#","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040715141","display_name":"Kuan-Hsun Chen","orcid":"https://orcid.org/0000-0002-7110-921X"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Kuan-Hsun Chen","raw_affiliation_strings":["Department of Informatics, TU Dortmund (TUD), Germany","Department of Informatics, TU Dortmund (TUD), Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, TU Dortmund (TUD), Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Department of Informatics, TU Dortmund (TUD), Germany#TAB#","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034338082","display_name":"Florian Kriebel","orcid":null},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Florian Kriebel","raw_affiliation_strings":["Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany","Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany#TAB#","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078794002","display_name":"Anas Toma","orcid":"https://orcid.org/0000-0002-5254-5040"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Anas Toma","raw_affiliation_strings":["Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany","Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany#TAB#","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005190949","display_name":"Muhammad Shafique","orcid":"https://orcid.org/0000-0002-2607-8135"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Muhammad Shafique","raw_affiliation_strings":["Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany","Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany#TAB#","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000417436","display_name":"Jian-Jia Chen","orcid":"https://orcid.org/0000-0001-8114-9760"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jian-Jia Chen","raw_affiliation_strings":["Department of Informatics, TU Dortmund (TUD), Germany","Department of Informatics, TU Dortmund (TUD), Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, TU Dortmund (TUD), Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Department of Informatics, TU Dortmund (TUD), Germany#TAB#","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063508488","display_name":"J\u00f6rg Henkel","orcid":"https://orcid.org/0000-0001-9602-2922"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jorg Henkel","raw_affiliation_strings":["Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany","Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany","institution_ids":["https://openalex.org/I102335020"]},{"raw_affiliation_string":"Department of Informatics, Karlsruhe Institute of Technology (KIT), Germany#TAB#","institution_ids":["https://openalex.org/I102335020"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5058712739"],"corresponding_institution_ids":["https://openalex.org/I102335020"],"apc_list":null,"apc_paid":null,"fwci":2.3674,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.89570235,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"65","issue":"1","first_page":"80","last_page":"94"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"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.9998000264167786,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991999864578247,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9898999929428101,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8845018148422241},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.674635648727417},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5822252035140991},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.47523191571235657},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44391587376594543},{"id":"https://openalex.org/keywords/profiling","display_name":"Profiling (computer programming)","score":0.43445146083831787},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4293041229248047},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.4251525402069092},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4227680563926697},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1676415503025055},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1491578221321106}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8845018148422241},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.674635648727417},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5822252035140991},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.47523191571235657},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44391587376594543},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.43445146083831787},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4293041229248047},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.4251525402069092},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4227680563926697},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1676415503025055},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1491578221321106},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2015.2417554","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2015.2417554","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","1557-9956","2326-3814"],"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 Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320308022","display_name":"California Department of Fish and Game","ror":"https://ror.org/02v6w2r95"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1485093219","https://openalex.org/W1945100066","https://openalex.org/W1990185544","https://openalex.org/W2007925061","https://openalex.org/W2019643518","https://openalex.org/W2033168569","https://openalex.org/W2033908103","https://openalex.org/W2043186622","https://openalex.org/W2043785486","https://openalex.org/W2076521253","https://openalex.org/W2081215702","https://openalex.org/W2083004950","https://openalex.org/W2094446102","https://openalex.org/W2099569658","https://openalex.org/W2107743196","https://openalex.org/W2109262854","https://openalex.org/W2109488193","https://openalex.org/W2116991991","https://openalex.org/W2119306965","https://openalex.org/W2124486386","https://openalex.org/W2127859298","https://openalex.org/W2129451538","https://openalex.org/W2130189691","https://openalex.org/W2133971626","https://openalex.org/W2144392302","https://openalex.org/W2144512449","https://openalex.org/W2144906072","https://openalex.org/W2165027640","https://openalex.org/W2169213530","https://openalex.org/W2262960161","https://openalex.org/W3141932699","https://openalex.org/W3149410719","https://openalex.org/W4233628565","https://openalex.org/W4249144718","https://openalex.org/W6629205730","https://openalex.org/W6677922359"],"related_works":["https://openalex.org/W2169628522","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W1506225852","https://openalex.org/W2141414364","https://openalex.org/W4252501555","https://openalex.org/W2003848320"],"abstract_inverted_index":{"To":[0],"enable":[1],"reliable":[2,58,207],"embedded":[3,70],"systems,":[4],"it":[5],"is":[6,73,105,204],"imperative":[7],"to":[8,56,153,170,182],"leverage":[9],"the":[10,33,36,46,76,99,108,111,115,119,124,138,141,172,187],"compiler":[11],"and":[12,24,48,61,65,89,126,148,175,197,210],"system":[13,66,135],"software":[14,67,136],"for":[15,69,82,143,186,206],"joint":[16],"optimization":[17,34],"of":[18,35,45,78,102,110,118,130,140,159,194,201],"functional":[19],"correctness":[20,26],"(i.e.,":[21,27],"vulnerability":[22,47],"indexes)":[23],"timing":[25],"deadline":[28,49],"misses).":[29],"This":[30,72],"paper":[31],"considers":[32],"reliability-timing":[37],"(RT)":[38],"penalty,":[39,174],"defined":[40],"as":[41],"a":[42,53,103,156,160,166],"linear":[43],"combination":[44],"misses.":[50],"We":[51],"propose":[52],"cross-layer":[54],"approach":[55],"achieve":[57],"code":[59,208],"generation":[60,209],"execution":[62,100,116,127,146],"at":[63,179],"compilation":[64,96],"layers":[68],"systems.":[71],"enabled":[74],"by":[75,92],"concept":[77],"generating":[79],"multiple":[80],"versions":[81,112,185],"given":[83],"application":[84,193],"functions,":[85],"with":[86],"diverse":[87],"performance":[88],"reliability":[90,125],"tradeoffs,":[91],"exploiting":[93],"different":[94],"reliability-guided":[95],"options.":[97],"As":[98],"time":[101,128,181],"function":[104],"not":[106],"fixed,":[107],"selection":[109,152],"depends":[113],"upon":[114],"behavior":[117],"previous":[120],"functions.":[121,189],"Based":[122],"on":[123],"profiling":[129],"these":[131],"versions,":[132],"our":[133,163],"reliability-driven":[134],"decides":[137],"prioritization":[139],"functions":[142,203],"determining":[144],"their":[145],"order":[147],"employs":[149],"dynamic":[150],"version":[151,158],"dynamically":[154],"select":[155,183],"suitable":[157,184],"function.":[161],"Specifically,":[162],"scheme":[164],"builds":[165],"schedule":[167],"table":[168,178],"offline":[169],"optimize":[171],"RT":[173],"uses":[176],"this":[177],"run":[180],"subsequent":[188],"A":[190],"complex":[191],"real-world":[192],"\u201csecure":[195],"video":[196],"audio":[198],"processing\u201d":[199],"composed":[200],"various":[202],"evaluated":[205],"execution.":[211]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}