{"id":"https://openalex.org/W2060184975","doi":"https://doi.org/10.1109/isorc.2013.6913220","title":"The T-CREST approach of compiler and WCET-analysis integration","display_name":"The T-CREST approach of compiler and WCET-analysis integration","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W2060184975","doi":"https://doi.org/10.1109/isorc.2013.6913220","mag":"2060184975"},"language":"en","primary_location":{"id":"doi:10.1109/isorc.2013.6913220","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isorc.2013.6913220","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","raw_type":"proceedings-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/A5071717137","display_name":"Peter Puschner","orcid":"https://orcid.org/0000-0002-2495-0778"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Peter Puschner","raw_affiliation_strings":["Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","[Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria]"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"[Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria]","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029399429","display_name":"Daniel Prokesch","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Daniel Prokesch","raw_affiliation_strings":["Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","[Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria]"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"[Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria]","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102051040","display_name":"Benedikt Huber","orcid":"https://orcid.org/0009-0005-7059-3555"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Benedikt Huber","raw_affiliation_strings":["Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","[Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria]"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"[Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria]","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048747000","display_name":"Jens Knoop","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Jens Knoop","raw_affiliation_strings":["Institute of Computer Languages, Vienna University of Technology, Vienna, Austria","Institute of Computer Languages Vienna University of Technology Vienna Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Languages, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institute of Computer Languages Vienna University of Technology Vienna Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028001691","display_name":"Stefan Hepp","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Hepp","raw_affiliation_strings":["Institute of Computer Languages, Vienna University of Technology, Vienna, Austria","Institute of Computer Languages Vienna University of Technology Vienna Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Languages, Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institute of Computer Languages Vienna University of Technology Vienna Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020337345","display_name":"Gernot Gebhard","orcid":null},"institutions":[{"id":"https://openalex.org/I4210149230","display_name":"AbsInt (Germany)","ror":"https://ror.org/049gbsq65","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210149230"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gernot Gebhard","raw_affiliation_strings":["AbsInt Angewandte Informatik GmbH, Saarbr\u00fccken, Germany"],"affiliations":[{"raw_affiliation_string":"AbsInt Angewandte Informatik GmbH, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210149230"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5071717137"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":3.4673,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.92554236,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"17","issue":null,"first_page":"1","last_page":"8"},"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.9994000196456909,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9167693853378296},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8765887022018433},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.6217862963676453},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.6017748117446899},{"id":"https://openalex.org/keywords/predictability","display_name":"Predictability","score":0.5496358871459961},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.4691905975341797},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3901985287666321},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.3600813150405884},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32792845368385315}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9167693853378296},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8765887022018433},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.6217862963676453},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.6017748117446899},{"id":"https://openalex.org/C197640229","wikidata":"https://www.wikidata.org/wiki/Q2534066","display_name":"Predictability","level":2,"score":0.5496358871459961},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.4691905975341797},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3901985287666321},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.3600813150405884},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32792845368385315},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isorc.2013.6913220","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isorc.2013.6913220","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320333065","display_name":"Seventh Framework Programme","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W60611840","https://openalex.org/W115402818","https://openalex.org/W1499210710","https://openalex.org/W1507495123","https://openalex.org/W1533929374","https://openalex.org/W1567692042","https://openalex.org/W1584428153","https://openalex.org/W1715210439","https://openalex.org/W1762252016","https://openalex.org/W2057152941","https://openalex.org/W2078536008","https://openalex.org/W2096038924","https://openalex.org/W2104626020","https://openalex.org/W2122666034","https://openalex.org/W2122741351","https://openalex.org/W2132808802","https://openalex.org/W2137169528","https://openalex.org/W2151653149","https://openalex.org/W2151843125","https://openalex.org/W2156106415","https://openalex.org/W4236139063","https://openalex.org/W4246166885","https://openalex.org/W6602453358","https://openalex.org/W6633997931","https://openalex.org/W6634706866","https://openalex.org/W6637518700","https://openalex.org/W6678441756"],"related_works":["https://openalex.org/W136631479","https://openalex.org/W2111906340","https://openalex.org/W2098932080","https://openalex.org/W2742764916","https://openalex.org/W2163202742","https://openalex.org/W2607723214","https://openalex.org/W3130041341","https://openalex.org/W1549916137","https://openalex.org/W2156929691","https://openalex.org/W1543783659"],"abstract_inverted_index":{"A":[0],"good":[1,70],"worst-case":[2,12,71],"performance":[3,72],"and":[4,50,53,58,73,116,126,137],"the":[5,11,21,33,51,65,74,80,88,91,98,102,106,114,117,120,127,132,139],"availability":[6,75],"of":[7,16,23,32,56,69,76,82,141],"high-quality":[8,77],"bounds":[9,78],"on":[10,79],"execution":[13,109],"time":[14],"(WCET)":[15],"tasks":[17],"are":[18],"central":[19],"for":[20,28],"construction":[22],"hard":[24],"realtime":[25],"computer":[26],"systems":[27],"safety-critical":[29],"applications.":[30],"Timing-predictability":[31],"whole":[34],"software/hardware":[35],"system":[36],"is":[37,61],"a":[38,47],"necessary":[39],"prerequisite":[40],"to":[41,63,104],"achieve":[42,64],"this.":[43],"We":[44],"show":[45],"that":[46],"predictable":[48],"architecture":[49],"tight":[52],"seamless":[54],"integration":[55],"compilation":[57],"WCET":[59,81,92,99,123],"analysis":[60,100,124],"beneficial":[62],"initial":[66],"two":[67],"goals":[68],"computation":[83],"tasks.":[84],"Information":[85],"generated":[86],"by":[87],"compiler":[89,103,128],"improves":[90],"analysis.":[93],"Detailed":[94],"timing":[95],"feedback":[96],"from":[97],"helps":[101],"reduce":[105],"worst":[107],"case":[108],"time.":[110],"The":[111],"paper":[112],"describes":[113],"interface":[115],"interaction":[118],"between":[119],"industrial":[121],"strength":[122],"tool":[125],"as":[129],"developed":[130],"in":[131],"EU":[133],"FP7":[134],"T-CREST":[135],"project,":[136],"demonstrates":[138],"cooperation":[140],"these":[142],"tools":[143],"with":[144],"an":[145],"illustrative":[146],"example.":[147]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}