{"id":"https://openalex.org/W2910064678","doi":"https://doi.org/10.1145/3287624.3287655","title":"Towards limiting the impact of timing anomalies in complex real-time processors","display_name":"Towards limiting the impact of timing anomalies in complex real-time processors","publication_year":2019,"publication_date":"2019-01-18","ids":{"openalex":"https://openalex.org/W2910064678","doi":"https://doi.org/10.1145/3287624.3287655","mag":"2910064678"},"language":"en","primary_location":{"id":"doi:10.1145/3287624.3287655","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3287624.3287655","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/2117/130115","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064410045","display_name":"Pedro Benedicte","orcid":"https://orcid.org/0000-0003-1670-7783"},"institutions":[{"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":true,"raw_author_name":"Pedro Benedicte","raw_affiliation_strings":["Universitat Politecnica de Catalunya"],"affiliations":[{"raw_affiliation_string":"Universitat Politecnica de Catalunya","institution_ids":["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/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]},{"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"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jaume Abella","raw_affiliation_strings":["Barcelona Supercomputing Center (BSC)"],"affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center (BSC)","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047492364","display_name":"Carles Hern\u00e1ndez","orcid":"https://orcid.org/0000-0001-5393-3195"},"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"]},{"id":"https://openalex.org/I134820265","display_name":"Consejo Superior de Investigaciones Cient\u00edficas","ror":"https://ror.org/02gfc7t72","country_code":"ES","type":"funder","lineage":["https://openalex.org/I134820265"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Carles Hernandez","raw_affiliation_strings":["BSC","Barcelona Supercomputing Center (BSC)","BSC and IIIA-CSIC","Universitat Politecnica de Catalunya Barcelona Supercomputing Center"],"affiliations":[{"raw_affiliation_string":"BSC","institution_ids":[]},{"raw_affiliation_string":"Barcelona Supercomputing Center (BSC)","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]},{"raw_affiliation_string":"BSC and IIIA-CSIC","institution_ids":["https://openalex.org/I134820265"]},{"raw_affiliation_string":"Universitat Politecnica de Catalunya Barcelona Supercomputing Center","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/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]},{"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/I134820265","display_name":"Consejo Superior de Investigaciones Cient\u00edficas","ror":"https://ror.org/02gfc7t72","country_code":"ES","type":"funder","lineage":["https://openalex.org/I134820265"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Enrico Mezzetti","raw_affiliation_strings":["BSC","Barcelona Supercomputing Center (BSC)","Universitat Politecnica de Catalunya Barcelona Supercomputing Center","BSC and IIIA-CSIC"],"affiliations":[{"raw_affiliation_string":"BSC","institution_ids":[]},{"raw_affiliation_string":"Barcelona Supercomputing Center (BSC)","institution_ids":["https://openalex.org/I9617848","https://openalex.org/I2799803557"]},{"raw_affiliation_string":"Universitat Politecnica de Catalunya Barcelona Supercomputing Center","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"BSC and IIIA-CSIC","institution_ids":["https://openalex.org/I134820265"]}]},{"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/I134820265","display_name":"Consejo Superior de Investigaciones Cient\u00edficas","ror":"https://ror.org/02gfc7t72","country_code":"ES","type":"funder","lineage":["https://openalex.org/I134820265"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Francisco J. Cazorla","raw_affiliation_strings":["BSC and IIIA-CSIC"],"affiliations":[{"raw_affiliation_string":"BSC and IIIA-CSIC","institution_ids":["https://openalex.org/I134820265"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5064410045"],"corresponding_institution_ids":["https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":0.4921,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58197348,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"27","last_page":"32"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9986000061035156,"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/T10142","display_name":"Formal Methods in Verification","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/static-timing-analysis","display_name":"Static timing analysis","score":0.8895245790481567},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7228622436523438},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.6644023060798645},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6302974224090576},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6193716526031494},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4267970025539398},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3301096558570862},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.24444153904914856},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11865001916885376},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08752438426017761}],"concepts":[{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.8895245790481567},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7228622436523438},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.6644023060798645},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6302974224090576},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6193716526031494},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4267970025539398},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3301096558570862},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.24444153904914856},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11865001916885376},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08752438426017761},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3287624.3287655","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3287624.3287655","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th Asia and South Pacific Design Automation Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/130115","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/130115","pdf_url":null,"source":{"id":"https://openalex.org/S4210207057","display_name":"QRU Quaderns de Recerca en Urbanisme","issn_l":"2014-9689","issn":["2014-9689","2385-6777"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310322448","host_organization_name":"Q71272178","host_organization_lineage":["https://openalex.org/P4310322448"],"host_organization_lineage_names":["Q71272178"],"type":"journal"},"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":"Conference report"},{"id":"pmh:oai:upcommons.upc.edu:2117/133900","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/133900","pdf_url":null,"source":{"id":"https://openalex.org/S4210207057","display_name":"QRU Quaderns de Recerca en Urbanisme","issn_l":"2014-9689","issn":["2014-9689","2385-6777"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310322448","host_organization_name":"Q71272178","host_organization_lineage":["https://openalex.org/P4310322448"],"host_organization_lineage_names":["Q71272178"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference report"}],"best_oa_location":{"id":"pmh:oai:upcommons.upc.edu:2117/130115","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/130115","pdf_url":null,"source":{"id":"https://openalex.org/S4210207057","display_name":"QRU Quaderns de Recerca en Urbanisme","issn_l":"2014-9689","issn":["2014-9689","2385-6777"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310322448","host_organization_name":"Q71272178","host_organization_lineage":["https://openalex.org/P4310322448"],"host_organization_lineage_names":["Q71272178"],"type":"journal"},"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":"Conference report"},"sustainable_development_goals":[{"score":0.5899999737739563,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W220935706","https://openalex.org/W1499210710","https://openalex.org/W1542459729","https://openalex.org/W1584428153","https://openalex.org/W2028665553","https://openalex.org/W2051825851","https://openalex.org/W2108024087","https://openalex.org/W2119959854","https://openalex.org/W2137789311","https://openalex.org/W2139649276","https://openalex.org/W2394574738","https://openalex.org/W2509925782","https://openalex.org/W2613729276","https://openalex.org/W2625709394","https://openalex.org/W2727254847","https://openalex.org/W3200788958","https://openalex.org/W4205598956","https://openalex.org/W4240403904","https://openalex.org/W4241487645","https://openalex.org/W4253793747"],"related_works":["https://openalex.org/W4243145179","https://openalex.org/W4255875982","https://openalex.org/W4244853958","https://openalex.org/W2110367374","https://openalex.org/W3151506308","https://openalex.org/W2029404707","https://openalex.org/W4285325679","https://openalex.org/W4247719608","https://openalex.org/W2494523064","https://openalex.org/W4237439661"],"abstract_inverted_index":{"Timing":[0,12,70],"verification":[1],"of":[2,37,67],"embedded":[3],"critical":[4],"real-time":[5],"systems":[6],"is":[7],"hindered":[8],"by":[9],"complex":[10],"designs.":[11],"anomalies,":[13],"deeply":[14],"analyzed":[15],"in":[16,40,47,64],"static":[17],"timing":[18,38,42],"analysis,":[19,43],"require":[20,52],"specific":[21],"solutions":[22],"to":[23,53],"bound":[24],"their":[25,75],"impact.":[26,76],"For":[27],"the":[28,33,44,65],"first":[29],"time,":[30],"we":[31,61],"study":[32],"concept":[34],"and":[35,56],"impact":[36],"anomalies":[39,63],"measurement-based":[41],"most":[45],"used":[46],"industry,":[48],"showing":[49],"that":[50],"they":[51],"be":[54],"considered":[55],"handled":[57],"differently.":[58],"In":[59],"addition,":[60],"analyze":[62],"context":[66],"Measurement-Based":[68],"Probabilistic":[69],"Analysis,":[71],"which":[72],"simplifies":[73],"quantifying":[74]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}
