{"id":"https://openalex.org/W1976521542","doi":"https://doi.org/10.1109/tii.2012.2187457","title":"Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation","display_name":"Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation","publication_year":2012,"publication_date":"2012-02-10","ids":{"openalex":"https://openalex.org/W1976521542","doi":"https://doi.org/10.1109/tii.2012.2187457","mag":"1976521542"},"language":"en","primary_location":{"id":"doi:10.1109/tii.2012.2187457","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2012.2187457","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"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 Industrial Informatics","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/A5112597846","display_name":"Trevor Harmon","orcid":null},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Trevor Harmon","raw_affiliation_strings":["Intel Corporation, Santa Clara, CA, USA","NASA Ames Research Center, Moffett Field, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"NASA Ames Research Center, Moffett Field, CA, USA","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083205602","display_name":"Martin Schoeberl","orcid":"https://orcid.org/0000-0003-2366-382X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Schoeberl","raw_affiliation_strings":["DTU Informatics, Lyngby, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DTU Informatics, Lyngby, Denmark","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090186060","display_name":"Raimund Kirner","orcid":"https://orcid.org/0000-0003-3921-6813"},"institutions":[{"id":"https://openalex.org/I141584323","display_name":"University of Hertfordshire","ror":"https://ror.org/0267vjk41","country_code":"GB","type":"education","lineage":["https://openalex.org/I141584323"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Raimund Kirner","raw_affiliation_strings":["University of Hertfordshire, Hatfield, Hertfordshire, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Hertfordshire, Hatfield, Hertfordshire, UK","institution_ids":["https://openalex.org/I141584323"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023924668","display_name":"Raymond Klefstad","orcid":null},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Raymond Klefstad","raw_affiliation_strings":["University of California Riverside, Riverside, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California Riverside, Riverside, CA, USA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091906755","display_name":"Kwang H. Kim","orcid":"https://orcid.org/0000-0002-6585-9524"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kwang H. Kim","raw_affiliation_strings":["University of California, Irvine, Irvine, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Irvine, Irvine, CA, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108593038","display_name":"Michael Lowry","orcid":null},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael R. Lowry","raw_affiliation_strings":["NASA Ames Research Center, Moffett Field, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NASA Ames Research Center, Moffett Field, CA, USA","institution_ids":["https://openalex.org/I1280536761"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.738,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.83334876,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"8","issue":"2","first_page":"366","last_page":"377"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9900000095367432,"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.8957703113555908},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.8173550367355347},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7031267881393433},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6230667233467102},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.5559009909629822},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5134761929512024},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.48562613129615784},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.45855066180229187},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.446249395608902},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4343258738517761},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4241466522216797},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3659462630748749},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.26479220390319824}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8957703113555908},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.8173550367355347},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7031267881393433},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6230667233467102},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.5559009909629822},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5134761929512024},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.48562613129615784},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.45855066180229187},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.446249395608902},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4343258738517761},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4241466522216797},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3659462630748749},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.26479220390319824},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tii.2012.2187457","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2012.2187457","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"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 Industrial Informatics","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.228.6363","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.6363","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jopdesign.com/doc/intwcet.pdf","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/eb627e36-2e87-4729-a650-2688daf9bd43","is_oa":false,"landing_page_url":"https://orbit.dtu.dk/en/publications/eb627e36-2e87-4729-a650-2688daf9bd43","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Harmon , T , Schoeberl , M , Kirner , R , Klefstad , R , Kim , K H & Lowry , M R 2012 , ' Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation ' , I E E E Transactions on Industrial Informatics , vol. 8 , no. 2 , pp. 366-377 . https://doi.org/10.1109/TII.2012.2187457","raw_type":"article"},{"id":"pmh:oai:uhra.herts.ac.uk:2299/7936","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=84859918646&partnerID=8YFLogxK","pdf_url":null,"source":{"id":"https://openalex.org/S4306400241","display_name":"University of Hertfordshire Research Archive (University of Hertfordshire)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I141584323","host_organization_name":"University of Hertfordshire","host_organization_lineage":["https://openalex.org/I141584323"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320308963","display_name":"Oak Ridge Associated Universities","ror":"https://ror.org/0526p1y61"},{"id":"https://openalex.org/F4320332374","display_name":"Ames Research Center","ror":"https://ror.org/02acart68"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W92888174","https://openalex.org/W111004804","https://openalex.org/W1496310711","https://openalex.org/W1521915012","https://openalex.org/W1560632532","https://openalex.org/W1563826489","https://openalex.org/W1569079162","https://openalex.org/W1586312958","https://openalex.org/W1795705608","https://openalex.org/W1809480526","https://openalex.org/W1884441681","https://openalex.org/W1913166775","https://openalex.org/W1924906443","https://openalex.org/W1963741109","https://openalex.org/W1974998009","https://openalex.org/W1977708885","https://openalex.org/W1987142766","https://openalex.org/W1989623126","https://openalex.org/W1994163368","https://openalex.org/W1995072141","https://openalex.org/W2012999152","https://openalex.org/W2021682354","https://openalex.org/W2024800288","https://openalex.org/W2025262234","https://openalex.org/W2035556370","https://openalex.org/W2049181211","https://openalex.org/W2049908529","https://openalex.org/W2052757399","https://openalex.org/W2057433895","https://openalex.org/W2066744234","https://openalex.org/W2069642289","https://openalex.org/W2073204505","https://openalex.org/W2076285066","https://openalex.org/W2089757303","https://openalex.org/W2097603959","https://openalex.org/W2103820503","https://openalex.org/W2103837235","https://openalex.org/W2108024087","https://openalex.org/W2108202121","https://openalex.org/W2115597529","https://openalex.org/W2116304572","https://openalex.org/W2118112569","https://openalex.org/W2119699246","https://openalex.org/W2122045057","https://openalex.org/W2124057877","https://openalex.org/W2131789575","https://openalex.org/W2132715564","https://openalex.org/W2138536237","https://openalex.org/W2143798995","https://openalex.org/W2151650665","https://openalex.org/W2156093251","https://openalex.org/W2156832152","https://openalex.org/W2163529295","https://openalex.org/W2166559141","https://openalex.org/W2912226647","https://openalex.org/W4236139063","https://openalex.org/W6603786335","https://openalex.org/W6604470119","https://openalex.org/W6633412018","https://openalex.org/W6633932314","https://openalex.org/W6635190332","https://openalex.org/W6643734004","https://openalex.org/W6684588752"],"related_works":["https://openalex.org/W136631479","https://openalex.org/W2163202742","https://openalex.org/W2098932080","https://openalex.org/W939370856","https://openalex.org/W2742764916","https://openalex.org/W3130041341","https://openalex.org/W2607723214","https://openalex.org/W2390473631","https://openalex.org/W1549916137","https://openalex.org/W2156929691"],"abstract_inverted_index":{"For":[0],"hard":[1],"real-time":[2],"systems,":[3],"static":[4],"code":[5],"analysis":[6,31,55,71,92,140],"is":[7,93,101],"needed":[8],"to":[9,34,46,56,76,81,117,145],"derive":[10],"a":[11,60,73,104],"safe":[12],"bound":[13],"on":[14,26],"the":[15,27,35,50,82,107,112,118,122,131],"worst-case":[16],"execution":[17],"time":[18],"(WCET).":[19],"Virtually":[20],"all":[21],"prior":[22],"work":[23],"has":[24],"focused":[25],"accuracy":[28],"of":[29,37,126],"WCET":[30,54,70,79,91,97,113,151],"without":[32],"regard":[33],"speed":[36],"analysis.":[38],"The":[39,99],"resulting":[40],"algorithms":[41],"are":[42,115],"often":[43],"too":[44],"slow":[45],"be":[47,57],"integrated":[48],"into":[49],"development":[51],"cycle,":[52],"requiring":[53],"postponed":[58],"until":[59],"final":[61],"verification":[62],"phase.":[63],"In":[64],"this":[65,127],"paper,":[66],"we":[67],"propose":[68],"interactive":[69,90],"as":[72],"new":[74],"method":[75],"provide":[77],"near-instantaneous":[78],"feedback":[80,100],"developer":[83],"during":[84],"software":[85],"programming.":[86],"We":[87],"show":[88],"that":[89,138],"feasible":[94],"using":[95],"tree-based":[96,128,139],"calculation.":[98],"realized":[102],"with":[103,130,143],"plugin":[105],"for":[106],"Java":[108,119],"editor":[109],"jEdit,":[110],"where":[111],"values":[114],"back-annotated":[116],"source":[120],"at":[121],"statement":[123],"level.":[124],"Comparison":[125],"approach":[129],"implicit":[132],"path":[133],"enumeration":[134],"technique":[135],"(IPET)":[136],"shows":[137],"scales":[141],"better":[142],"respect":[144],"program":[146],"size":[147],"and":[148],"gives":[149],"similar":[150],"values.":[152]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}