{"id":"https://openalex.org/W2910522379","doi":"https://doi.org/10.1109/tc.2018.2890626","title":"Increasing the Reliability of Software Timing Analysis for Cache-Based Processors","display_name":"Increasing the Reliability of Software Timing Analysis for Cache-Based Processors","publication_year":2019,"publication_date":"2019-01-09","ids":{"openalex":"https://openalex.org/W2910522379","doi":"https://doi.org/10.1109/tc.2018.2890626","mag":"2910522379"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2018.2890626","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2018.2890626","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-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":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2117/132948","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004489710","display_name":"Suzana Milutinovi\u0107","orcid":"https://orcid.org/0000-0003-2429-0949"},"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":"Suzana Milutinovic","raw_affiliation_strings":["Barcelona Supercomputing Center (BSC), Barcelona, Spain"],"raw_orcid":"https://orcid.org/0000-0003-2429-0949","affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center (BSC), Barcelona, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019602265","display_name":"Enrico Mezzetti","orcid":"https://orcid.org/0000-0002-1886-2931"},"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":"Enrico Mezzetti","raw_affiliation_strings":["BSC, Barcelona, Spain"],"raw_orcid":"https://orcid.org/0000-0002-1886-2931","affiliations":[{"raw_affiliation_string":"BSC, Barcelona, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","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":["BSC, Barcelona, Spain"],"raw_orcid":"https://orcid.org/0000-0001-7951-4028","affiliations":[{"raw_affiliation_string":"BSC, Barcelona, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026101378","display_name":"Francisco J. Cazorla","orcid":"https://orcid.org/0000-0002-3344-376X"},"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":"Francisco J. Cazorla","raw_affiliation_strings":["BSC, Barcelona, Spain"],"raw_orcid":"https://orcid.org/0000-0002-3344-376X","affiliations":[{"raw_affiliation_string":"BSC, Barcelona, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7776,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.717603,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"68","issue":"6","first_page":"836","last_page":"851"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9986000061035156,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.996999979019165,"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/cache","display_name":"Cache","score":0.8203632235527039},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8067572116851807},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.5557858347892761},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5194225311279297},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.5147359371185303},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5069661140441895},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.47974693775177},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4595789313316345},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.457955002784729},{"id":"https://openalex.org/keywords/cache-oblivious-algorithm","display_name":"Cache-oblivious algorithm","score":0.4498082399368286},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.4107885956764221},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.35009756684303284},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32101190090179443},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21703189611434937},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10899552702903748}],"concepts":[{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.8203632235527039},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8067572116851807},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.5557858347892761},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5194225311279297},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.5147359371185303},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5069661140441895},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.47974693775177},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4595789313316345},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.457955002784729},{"id":"https://openalex.org/C59687516","wikidata":"https://www.wikidata.org/wiki/Q5015938","display_name":"Cache-oblivious algorithm","level":5,"score":0.4498082399368286},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.4107885956764221},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.35009756684303284},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32101190090179443},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21703189611434937},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10899552702903748},{"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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tc.2018.2890626","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2018.2890626","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-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"},{"id":"pmh:oai:dnet:upcommonspor::faf06c18cafbe8b5e9d406f226608be0","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/132948","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/132948","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/132948","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"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":null,"raw_type":"Article"},{"id":"pmh:oai:digital.csic.es:10261/197451","is_oa":false,"landing_page_url":"http://hdl.handle.net/10261/197451","pdf_url":null,"source":{"id":"https://openalex.org/S4306400616","display_name":"DIGITAL.CSIC (Spanish National Research Council (CSIC))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134820265","host_organization_name":"Consejo Superior de Investigaciones Cient\u00edficas","host_organization_lineage":["https://openalex.org/I134820265"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"art\u00edculo"}],"best_oa_location":{"id":"pmh:oai:dnet:upcommonspor::faf06c18cafbe8b5e9d406f226608be0","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/132948","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":[{"id":"https://openalex.org/G3324247440","display_name":null,"funder_award_id":"TIN2015-65316-P","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G367317414","display_name":null,"funder_award_id":"TIN2015-65316P","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G3810062594","display_name":null,"funder_award_id":"TIN2015-65316","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5592594182","display_name":null,"funder_award_id":"TIN2015-65316","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G8257141572","display_name":null,"funder_award_id":"RYC-2013-14717","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"}],"funders":[{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W983855187","https://openalex.org/W1542459729","https://openalex.org/W1549228047","https://openalex.org/W1971076731","https://openalex.org/W1983676215","https://openalex.org/W1992905533","https://openalex.org/W1997649574","https://openalex.org/W2001674040","https://openalex.org/W2009060648","https://openalex.org/W2028665553","https://openalex.org/W2039006298","https://openalex.org/W2042271537","https://openalex.org/W2076285066","https://openalex.org/W2080472262","https://openalex.org/W2108056055","https://openalex.org/W2116097026","https://openalex.org/W2116672403","https://openalex.org/W2119241964","https://openalex.org/W2125942774","https://openalex.org/W2137246866","https://openalex.org/W2222160909","https://openalex.org/W2247224182","https://openalex.org/W2394574738","https://openalex.org/W2481803827","https://openalex.org/W2501622651","https://openalex.org/W2507911155","https://openalex.org/W2516911560","https://openalex.org/W2531879448","https://openalex.org/W2617566886","https://openalex.org/W2620364475","https://openalex.org/W2621914145","https://openalex.org/W2622079307","https://openalex.org/W2625709394","https://openalex.org/W2787144043","https://openalex.org/W2791544367","https://openalex.org/W3200788958","https://openalex.org/W4205598956","https://openalex.org/W4230660672","https://openalex.org/W4241487645","https://openalex.org/W4247412660","https://openalex.org/W6625771396","https://openalex.org/W6632922266","https://openalex.org/W6648360287","https://openalex.org/W6678901967","https://openalex.org/W6689311648"],"related_works":["https://openalex.org/W2001324285","https://openalex.org/W2046128376","https://openalex.org/W1593732971","https://openalex.org/W4388717692","https://openalex.org/W2475955799","https://openalex.org/W2147122795","https://openalex.org/W1863436361","https://openalex.org/W2527471267","https://openalex.org/W2792468622","https://openalex.org/W2167303720"],"abstract_inverted_index":{"Real-time":[0],"systems":[1],"are":[2,43],"witnessing":[3],"a":[4,91,126,166,197,208],"significant":[5],"increase":[6],"in":[7,96],"critical":[8],"software's":[9],"size,":[10],"complexity,":[11],"and":[12,67,136,146,156,163,188,196,207],"performance":[13],"needs,":[14],"which":[15],"can":[16],"only":[17,53],"be":[18,63],"satisfied":[19],"with":[20,141],"high-performance":[21],"hardware":[22],"features.":[23],"Cache":[24,108],"memories,":[25],"pervasively":[26],"used":[27],"to":[28,45,62,65,70,81,113,124,138,178],"improve":[29],"average":[30],"performance,":[31,58],"complicate":[32],"Worst-Case":[33],"Execution":[34],"Time":[35],"analysis:":[36],"cache":[37,94],"placement":[38,95,159],"(i.e.,":[39],"how":[40],"software":[41],"objects":[42],"mapped":[44],"cache)":[46],"during":[47],"the":[48,56,100,120,152,173,180],"testing":[49],"phase":[50],"does":[51],"not":[52],"critically":[54],"affect":[55],"observed":[57],"but":[59],"also":[60],"proves":[61],"arduous":[64],"control":[66],"preserve":[68],"up":[69],"operation.":[71],"The":[72],"probabilistic":[73,117],"variant":[74],"of":[75,129,144,169,175,203],"Measurement-Based":[76],"Timing":[77],"Analysis":[78],"(MBPTA)":[79],"responds":[80],"this":[82],"challenge":[83],"by":[84,171],"deploying":[85],"time-randomized":[86],"caches":[87],"that":[88,105],"naturally":[89],"explore":[90],"different":[92],"random":[93,153,158],"each":[97],"run,":[98],"relieving":[99],"user":[101,121],"from":[102],"producing":[103],"tests":[104],"intercept":[106],"relevant":[107,142],"Conflict":[109],"Placements":[110],"(CCP).":[111],"Yet,":[112],"meet":[114,179],"an":[115,204],"adequate":[116],"CCP":[118,140,182],"coverage,":[119],"is":[122],"required":[123],"collect":[125],"minimum":[127],"number":[128,174],"measurements.":[130],"We":[131,184],"present":[132],"two":[133],"mechanisms,":[134],"CCP-RM":[135,162,187],"CCP-HRP,":[137,189],"identify":[139],"probability":[143],"occurrence":[145],"large":[147],"impact":[148],"on":[149,193,201],"execution-time,":[150],"for":[151],"modulo":[154],"(RM)":[155],"hash-based":[157],"(HRP)":[160],"policies.":[161],"CCP-HRP":[164],"enable":[165],"reliable":[167],"application":[168],"MBPTA":[170],"computing":[172],"runsR'":[176],"necessary":[177],"desired":[181],"coverage.":[183],"exhaustively":[185],"evaluate":[186],"showing":[190],"their":[191],"effectiveness":[192],"well-known":[194],"benchmarks":[195],"railway":[198],"case":[199],"study,":[200],"top":[202],"accurate":[205],"simulator":[206],"concrete":[209],"RTL":[210],"implementation.":[211]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}