{"id":"https://openalex.org/W2511362782","doi":"https://doi.org/10.4230/lites-v003-i001-a005","title":"A Survey on Static Cache Analysis for Real-Time Systems","display_name":"A Survey on Static Cache Analysis for Real-Time Systems","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2511362782","doi":"https://doi.org/10.4230/lites-v003-i001-a005","mag":"2511362782"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:19260","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a005","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"publishedVersion"},"type":"article","indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a005","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022326958","display_name":"Mingsong Lv","orcid":null},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lv, Mingsong","raw_affiliation_strings":["Northeastern University, China"],"affiliations":[{"raw_affiliation_string":"Northeastern University, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002245169","display_name":"Nan Guan","orcid":"https://orcid.org/0000-0003-3775-911X"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guan, Nan","raw_affiliation_strings":["Northeastern University, China"],"affiliations":[{"raw_affiliation_string":"Northeastern University, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056396265","display_name":"Jan Reineke","orcid":"https://orcid.org/0000-0002-3459-2214"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Reineke, Jan","raw_affiliation_strings":["Saarland University","Saarland Univ,"],"affiliations":[{"raw_affiliation_string":"Saarland University","institution_ids":["https://openalex.org/I91712215"]},{"raw_affiliation_string":"Saarland Univ,","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071295289","display_name":"Reinhard Wilhelm","orcid":"https://orcid.org/0000-0002-5599-7560"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wilhelm, Reinhard","raw_affiliation_strings":["Saarland University","Saarland Univ,"],"affiliations":[{"raw_affiliation_string":"Saarland University","institution_ids":["https://openalex.org/I91712215"]},{"raw_affiliation_string":"Saarland Univ,","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100748818","display_name":"Wang Yi","orcid":"https://orcid.org/0000-0002-2994-6110"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Yi, Wang","raw_affiliation_strings":["Uppsala University"],"affiliations":[{"raw_affiliation_string":"Uppsala University","institution_ids":["https://openalex.org/I123387679"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5022326958"],"corresponding_institution_ids":["https://openalex.org/I9224756"],"apc_list":null,"apc_paid":null,"fwci":7.7204,"has_fulltext":true,"cited_by_count":65,"citation_normalized_percentile":{"value":0.97913027,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9983999729156494,"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.9972000122070312,"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.8648087978363037},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8600420951843262},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.7736495733261108},{"id":"https://openalex.org/keywords/cache-invalidation","display_name":"Cache invalidation","score":0.7702299356460571},{"id":"https://openalex.org/keywords/cache-pollution","display_name":"Cache pollution","score":0.6660612225532532},{"id":"https://openalex.org/keywords/smart-cache","display_name":"Smart Cache","score":0.6406615376472473},{"id":"https://openalex.org/keywords/cache-coloring","display_name":"Cache coloring","score":0.6262471675872803},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6090006232261658},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.542730987071991},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.5366392135620117},{"id":"https://openalex.org/keywords/cache-oblivious-algorithm","display_name":"Cache-oblivious algorithm","score":0.4829389452934265},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.4313013553619385},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4135969579219818},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.40459567308425903},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.33235740661621094},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3269529342651367},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10862603783607483}],"concepts":[{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.8648087978363037},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8600420951843262},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.7736495733261108},{"id":"https://openalex.org/C25536678","wikidata":"https://www.wikidata.org/wiki/Q5015977","display_name":"Cache invalidation","level":5,"score":0.7702299356460571},{"id":"https://openalex.org/C113166858","wikidata":"https://www.wikidata.org/wiki/Q5015981","display_name":"Cache pollution","level":5,"score":0.6660612225532532},{"id":"https://openalex.org/C167713795","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"Smart Cache","level":5,"score":0.6406615376472473},{"id":"https://openalex.org/C201148951","wikidata":"https://www.wikidata.org/wiki/Q5015976","display_name":"Cache coloring","level":4,"score":0.6262471675872803},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6090006232261658},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.542730987071991},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.5366392135620117},{"id":"https://openalex.org/C59687516","wikidata":"https://www.wikidata.org/wiki/Q5015938","display_name":"Cache-oblivious algorithm","level":5,"score":0.4829389452934265},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.4313013553619385},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4135969579219818},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.40459567308425903},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.33235740661621094},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3269529342651367},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10862603783607483}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:19260","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a005","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"pmh:oai:ojs.dagstuhl.de:article/60","is_oa":true,"landing_page_url":"http://ojs.dagstuhl.de/index.php/lites/article/view/LITES-v003-i001-a005","pdf_url":"http://ojs.dagstuhl.de/index.php/lites/article/view/LITES-v003-i001-a005","source":{"id":"https://openalex.org/S4306401231","display_name":"Leibniz Transactions on Embedded Systems (Dagstuhl)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Leibniz Transactions on Embedded Systems; Vol 3, No 1 (2016); 05:1-05:48","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:2857c05012294b51a8fa177b507bace4","is_oa":true,"landing_page_url":"https://doaj.org/article/2857c05012294b51a8fa177b507bace4","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Leibniz Transactions on Embedded Systems, Vol 3, Iss 1, Pp 05:1-05:48 (2016)","raw_type":"article"},{"id":"doi:10.4230/lites-v003-i001-a005","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lites-v003-i001-a005","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:19260","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a005","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320326295","display_name":"Collaborative Innovation Center of Major Machine Manufacturing in Liaoning","ror":null},{"id":"https://openalex.org/F4320335661","display_name":"State Key Laboratory of Synthetical Automation for Process Industries","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":110,"referenced_works":["https://openalex.org/W13794936","https://openalex.org/W650826350","https://openalex.org/W1482275438","https://openalex.org/W1483989344","https://openalex.org/W1488986397","https://openalex.org/W1489025528","https://openalex.org/W1496153055","https://openalex.org/W1533929374","https://openalex.org/W1543990864","https://openalex.org/W1548943549","https://openalex.org/W1554539787","https://openalex.org/W1555915743","https://openalex.org/W1582456956","https://openalex.org/W1584428153","https://openalex.org/W1595437973","https://openalex.org/W1826276806","https://openalex.org/W1874478398","https://openalex.org/W1884441681","https://openalex.org/W1910647367","https://openalex.org/W1955355201","https://openalex.org/W1963741373","https://openalex.org/W1968005108","https://openalex.org/W1978440202","https://openalex.org/W1979470295","https://openalex.org/W1987142766","https://openalex.org/W1991688232","https://openalex.org/W1997315696","https://openalex.org/W2001505538","https://openalex.org/W2001674040","https://openalex.org/W2001986196","https://openalex.org/W2009133267","https://openalex.org/W2011874983","https://openalex.org/W2019517268","https://openalex.org/W2019752041","https://openalex.org/W2024815018","https://openalex.org/W2025262234","https://openalex.org/W2026693067","https://openalex.org/W2027950916","https://openalex.org/W2042979415","https://openalex.org/W2043100293","https://openalex.org/W2046003643","https://openalex.org/W2046892420","https://openalex.org/W2050474377","https://openalex.org/W2064639033","https://openalex.org/W2065705265","https://openalex.org/W2066744234","https://openalex.org/W2067675848","https://openalex.org/W2067934285","https://openalex.org/W2076285066","https://openalex.org/W2078498955","https://openalex.org/W2078921946","https://openalex.org/W2087735050","https://openalex.org/W2096147951","https://openalex.org/W2096153753","https://openalex.org/W2098030406","https://openalex.org/W2101508170","https://openalex.org/W2102481384","https://openalex.org/W2104066885","https://openalex.org/W2104626020","https://openalex.org/W2105903915","https://openalex.org/W2107233055","https://openalex.org/W2108024087","https://openalex.org/W2110588681","https://openalex.org/W2112711470","https://openalex.org/W2114701068","https://openalex.org/W2114800336","https://openalex.org/W2116907615","https://openalex.org/W2117605807","https://openalex.org/W2118112569","https://openalex.org/W2118378639","https://openalex.org/W2119959854","https://openalex.org/W2120587850","https://openalex.org/W2122969894","https://openalex.org/W2124153277","https://openalex.org/W2124797444","https://openalex.org/W2126771318","https://openalex.org/W2127139412","https://openalex.org/W2133420723","https://openalex.org/W2134239125","https://openalex.org/W2135522804","https://openalex.org/W2137302811","https://openalex.org/W2138037080","https://openalex.org/W2138085209","https://openalex.org/W2138952175","https://openalex.org/W2139566576","https://openalex.org/W2139780771","https://openalex.org/W2141973605","https://openalex.org/W2143771622","https://openalex.org/W2143798995","https://openalex.org/W2147469315","https://openalex.org/W2148403317","https://openalex.org/W2149052625","https://openalex.org/W2150903557","https://openalex.org/W2157698826","https://openalex.org/W2158295626","https://openalex.org/W2158737060","https://openalex.org/W2160946197","https://openalex.org/W2162222856","https://openalex.org/W2163529295","https://openalex.org/W2163742821","https://openalex.org/W2164459948","https://openalex.org/W2164705534","https://openalex.org/W2166417881","https://openalex.org/W2167187655","https://openalex.org/W2169142010","https://openalex.org/W2170641010","https://openalex.org/W2171278566","https://openalex.org/W2209156681","https://openalex.org/W2340735175","https://openalex.org/W2496007067"],"related_works":["https://openalex.org/W2076285066","https://openalex.org/W1533929374","https://openalex.org/W2043100293","https://openalex.org/W2577141201","https://openalex.org/W2170641010","https://openalex.org/W2138952175","https://openalex.org/W1996970189","https://openalex.org/W1484206933","https://openalex.org/W2098147366","https://openalex.org/W1009874401","https://openalex.org/W2765606046","https://openalex.org/W2134239125","https://openalex.org/W1498346808","https://openalex.org/W1756009011","https://openalex.org/W2393506321","https://openalex.org/W2122678550","https://openalex.org/W2138037080","https://openalex.org/W2269813923","https://openalex.org/W1976375579","https://openalex.org/W2162717942"],"abstract_inverted_index":{"Real-time":[0],"systems":[1,5],"are":[2,34],"reactive":[3],"computer":[4],"that":[6],"must":[7],"produce":[8],"their":[9],"reaction":[10],"to":[11,23,37,72,107,116],"a":[12,50,84,125],"stimulus":[13],"within":[14],"given":[15],"time":[16,48],"bounds.":[17],"A":[18],"vital":[19],"verification":[20],"requirement":[21],"is":[22,68,114,142],"estimate":[24],"the":[25,39,43,55,62,73,96,112],"Worst-Case":[26],"Execution":[27],"Time":[28],"(WCET)":[29],"of":[30,42,49,127],"programs.":[31],"These":[32],"estimates":[33],"then":[35],"used":[36],"predict":[38],"timing":[40],"behavior":[41,67],"overall":[44],"system.":[45],"The":[46],"execution":[47,79,121],"program":[51],"heavily":[52],"depends":[53],"on":[54,86,131],"underlying":[56],"hardware,":[57],"among":[58],"which":[59],"cache":[60,66,75,88,109,117,135],"has":[61],"biggest":[63],"influence.":[64],"Analyzing":[65],"very":[69],"challenging":[70],"due":[71],"versatile":[74],"features":[76],"and":[77,98],"complex":[78,120],"environment.":[80],"This":[81],"article":[82],"provides":[83],"survey":[85,126],"static":[87,99,132],"analysis":[89,100,118],"for":[90,102,134,139],"real-time":[91],"systems.":[92],"We":[93],"first":[94],"present":[95],"challenges":[97],"techniques":[101,133],"independent":[103],"programs":[104],"with":[105],"respect":[106],"different":[108],"features.":[110],"Then,":[111],"discussion":[113],"extended":[115],"in":[119],"environment,":[122],"followed":[123],"by":[124],"existing":[128],"tools":[129],"based":[130],"analysis.":[136],"An":[137],"outlook":[138],"future":[140],"research":[141],"provided":[143],"at":[144],"last.":[145]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":11},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}