{"id":"https://openalex.org/W2185934363","doi":"https://doi.org/10.1109/patmos.2015.7347584","title":"Calculation of worst-case execution time for multicore processors using deterministic execution","display_name":"Calculation of worst-case execution time for multicore processors using deterministic execution","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W2185934363","doi":"https://doi.org/10.1109/patmos.2015.7347584","mag":"2185934363"},"language":"en","primary_location":{"id":"doi:10.1109/patmos.2015.7347584","is_oa":false,"landing_page_url":"https://doi.org/10.1109/patmos.2015.7347584","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 25th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5002503405","display_name":"Hamid Mushtaq","orcid":"https://orcid.org/0000-0003-4129-9056"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Hamid Mushtaq","raw_affiliation_strings":["Computer Engineering Laboratory, Delft University of Technology, Delft, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Engineering Laboratory, Delft University of Technology, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021955713","display_name":"Zaid Al-Ars","orcid":"https://orcid.org/0000-0001-7670-8572"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Zaid Al-Ars","raw_affiliation_strings":["Computer Engineering Laboratory, Delft University of Technology, Delft, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Engineering Laboratory, Delft University of Technology, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058128591","display_name":"Koen Bertels","orcid":"https://orcid.org/0000-0001-9310-4885"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Koen Bertels","raw_affiliation_strings":["Computer Engineering Laboratory, Delft University of Technology, Delft, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Engineering Laboratory, Delft University of Technology, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I98358874"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.11899179,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"69","issue":null,"first_page":"33","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","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/T10054","display_name":"Parallel Computing and Optimization Techniques","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/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.9993000030517578,"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.8906829357147217},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.7740015387535095},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.7001701593399048},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.6332435011863708},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.6147283315658569},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5735410451889038},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5453609228134155},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5204268097877502},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2663559913635254},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17386895418167114},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.08538898825645447}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8906829357147217},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.7740015387535095},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.7001701593399048},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.6332435011863708},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.6147283315658569},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5735410451889038},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5453609228134155},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5204268097877502},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2663559913635254},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17386895418167114},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.08538898825645447}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/patmos.2015.7347584","is_oa":false,"landing_page_url":"https://doi.org/10.1109/patmos.2015.7347584","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 25th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320338388","display_name":"Eurostars","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W644998382","https://openalex.org/W1962072139","https://openalex.org/W1973284712","https://openalex.org/W1997315696","https://openalex.org/W2007206096","https://openalex.org/W2033390732","https://openalex.org/W2114701068","https://openalex.org/W2122532513","https://openalex.org/W2133420723","https://openalex.org/W2137302811","https://openalex.org/W2145021036","https://openalex.org/W2163529295","https://openalex.org/W2169875292","https://openalex.org/W2186816294","https://openalex.org/W2255900832","https://openalex.org/W2543559046","https://openalex.org/W4233547058","https://openalex.org/W4238549726","https://openalex.org/W6621193496","https://openalex.org/W6640868803","https://openalex.org/W7025162497"],"related_works":["https://openalex.org/W1515433387","https://openalex.org/W1484796814","https://openalex.org/W1663166257","https://openalex.org/W2507397068","https://openalex.org/W2537786014","https://openalex.org/W52215546","https://openalex.org/W2159593428","https://openalex.org/W3198992024","https://openalex.org/W2353696478","https://openalex.org/W1562815101"],"abstract_inverted_index":{"Safety":[0],"critical":[1],"real":[2],"time":[3,87],"systems":[4],"need":[5],"to":[6,18,26,44,67,89,93,99,109,131,160],"meet":[7],"strict":[8],"timing":[9],"deadlines.":[10],"We":[11],"use":[12],"a":[13,105,116],"model":[14,35,61],"checking":[15,62],"based":[16],"approach":[17],"calculate":[19],"the":[20,28,34,60,85,112,133,153],"WCET,":[21],"where":[22],"we":[23,38,64,82],"apply":[24],"optimizations":[25,150],"reduce":[27,46],"number":[29,51],"of":[30,52],"states":[31,53,96],"stored":[32],"by":[33,78,135],"checker.":[36],"Furthermore,":[37,77],"used":[39],"deterministic":[40,80],"shared":[41],"memory":[42,49,91],"accesses":[43],"further":[45],"calculation":[47,86],"time,":[48],"and":[50,95],"needed":[54,97],"for":[55,101,115,162],"calculating":[56,102],"WCET.":[57],"By":[58],"optimizing":[59],"code,":[63],"were":[65,72],"able":[66],"complete":[68],"benchmarks":[69],"which":[70],"otherwise":[71],"having":[73],"state":[74],"explosion":[75],"problems.":[76],"using":[79],"execution,":[81],"significantly":[83],"reduced":[84],"(up":[88,92,98,108],"158\u00d7),":[90],"89\u00d7)":[94],"188\u00d7)":[100],"WCET":[103,114,134,142],"with":[104,119],"negligible":[106],"increase":[107],"4%)":[110],"in":[111,143,155],"calculated":[113],"multicore":[117],"system":[118],"4":[120,163],"cores.":[121],"Lastly,":[122],"unlike":[123],"other":[124],"state-of-the-art":[125],"approaches,":[126],"that":[127],"perform":[128],"binary":[129],"search":[130,132],"running":[136],"several":[137],"iterations,":[138],"our":[139],"method":[140],"calculates":[141],"just":[144],"one":[145],"iteration.":[146],"Taking":[147],"all":[148],"these":[149],"into":[151],"consideration,":[152],"gain":[154],"speed":[156],"was":[157],"from":[158],"1775\u00d7":[159],"2471\u00d7":[161],"threads.":[164]},"counts_by_year":[{"year":2020,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}