{"id":"https://openalex.org/W4233353136","doi":"https://doi.org/10.1109/cases.2013.6662526","title":"ILP<sub>c</sub>: A novel approach for scalable timing analysis of synchronous programs","display_name":"ILP<sub>c</sub>: A novel approach for scalable timing analysis of synchronous programs","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W4233353136","doi":"https://doi.org/10.1109/cases.2013.6662526"},"language":"en","primary_location":{"id":"doi:10.1109/cases.2013.6662526","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cases.2013.6662526","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)","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":null,"display_name":"Jia Jie Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Jia Jie Wang","raw_affiliation_strings":["University of Auckland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha S. Roop","raw_affiliation_strings":["University of Auckland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079479704","display_name":"Sidharta Andalam","orcid":"https://orcid.org/0000-0001-6660-8172"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]},{"id":"https://openalex.org/I4210146168","display_name":"CREATe Centre","ror":"https://ror.org/04e30s833","country_code":"GB","type":"facility","lineage":["https://openalex.org/I4210146168"]}],"countries":["GB","NZ"],"is_corresponding":false,"raw_author_name":"Sidharta Andalam","raw_affiliation_strings":["TUM CREATE","University of Auckland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TUM CREATE","institution_ids":["https://openalex.org/I4210146168"]},{"raw_affiliation_string":"University of Auckland","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"12 s","issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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.9998000264167786,"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.9994999766349792,"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"}},{"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.807809591293335},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7652521133422852},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6966528296470642},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6800560355186462},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5870930552482605},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.5280980467796326},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5132079124450684},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.5023925304412842},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4590541124343872},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45240408182144165},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.44538959860801697},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4284900426864624},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4163201153278351},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40931856632232666},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29401540756225586},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2429634928703308},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.18664905428886414},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08816704154014587}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.807809591293335},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7652521133422852},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6966528296470642},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6800560355186462},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5870930552482605},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5280980467796326},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5132079124450684},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.5023925304412842},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4590541124343872},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45240408182144165},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.44538959860801697},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4284900426864624},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4163201153278351},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40931856632232666},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29401540756225586},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2429634928703308},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.18664905428886414},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08816704154014587},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cases.2013.6662526","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cases.2013.6662526","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W2060674828","https://openalex.org/W2067660926","https://openalex.org/W2076285066","https://openalex.org/W2080875873","https://openalex.org/W2081938726","https://openalex.org/W2086311474","https://openalex.org/W2097973125","https://openalex.org/W2116912109","https://openalex.org/W2127335869","https://openalex.org/W2132226913","https://openalex.org/W2146642094","https://openalex.org/W2147236388","https://openalex.org/W2155235848","https://openalex.org/W2158395308","https://openalex.org/W2169497125","https://openalex.org/W2242825485","https://openalex.org/W6654967352","https://openalex.org/W6665630275","https://openalex.org/W6667508736","https://openalex.org/W6682974418","https://openalex.org/W6690411030"],"related_works":["https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2067910792","https://openalex.org/W2884574904","https://openalex.org/W2462966030","https://openalex.org/W2094926594","https://openalex.org/W3197996019","https://openalex.org/W136631479","https://openalex.org/W101841668"],"abstract_inverted_index":{"Synchronous":[0],"programs":[1],"have":[2],"been":[3],"widely":[4],"used":[5],"in":[6,38,144],"the":[7,15,23,33,55,102,118,123,141,145,150,160,163,177,190,202],"design":[8],"of":[9,18,25,54,60,104,162,172,184,196],"safety":[10],"critical":[11],"systems":[12,199],"such":[13],"as":[14],"flight":[16],"control":[17],"Airbus":[19],"A-380.":[20],"To":[21],"validate":[22],"implementations":[24],"synchronous":[26,203],"programs,":[27,167],"it":[28],"is":[29,63,169],"necessary":[30],"to":[31,41,148,176],"map":[32],"program's":[34],"logical":[35,39,61],"time":[36,43,46,59],"(measured":[37],"ticks)":[40],"physical":[42],"(the":[44],"execution":[45,58],"on":[47],"a":[48,133],"given":[49],"processor).":[50],"The":[51],"static":[52],"computation":[53],"worst":[56,98],"case":[57,99],"ticks":[62],"called":[64,138],"Worst":[65],"Case":[66],"Reaction":[67],"Time":[68],"(WCRT)":[69],"analysis.":[70],"Several":[71],"approaches":[72,120],"for":[73,165,192],"WCRT":[74,194],"analysis":[75,106,195],"exist:":[76],"max-plus":[77,110],"algebra,":[78],"model":[79,91],"checking,":[80],"reachability":[81],"and":[82,93],"integer":[83],"linear":[84],"programming":[85],"(ILP).":[86],"Of":[87],"these":[88],"approaches,":[89,112,179],"reachability,":[90],"checking":[92],"ILP":[94,135,146],"provide":[95],"reasonably":[96],"precise":[97],"estimates":[100],"at":[101],"expense":[103],"longer":[105],"time.":[107],"Apart":[108],"from":[109,122],"based":[111,136],"which":[113],"can":[114],"produce":[115],"large":[116],"overestimates,":[117],"existing":[119,178],"suffer":[121],"state":[124,151],"space":[125,152],"explosion":[126,153],"problem.":[127,154],"In":[128],"this":[129,187],"paper,":[130],"we":[131,158],"develop":[132],"new":[134],"approach,":[137],"ILPc-which":[139],"exploits":[140],"concurrency":[142],"explicitly":[143],"formulation":[147],"avoid":[149],"Through":[155],"extensive":[156],"bench-marking":[157],"demonstrate":[159],"efficacy":[161],"approach:":[164],"complex":[166,197],"ILPc":[168],"often":[170],"orders":[171],"magnitude":[173],"faster":[174],"compared":[175],"while":[180],"achieving":[181],"same":[182],"level":[183],"precision.":[185],"Thus,":[186],"paper":[188],"paves":[189],"way":[191],"scalable":[193],"embedded":[198],"designed":[200],"using":[201],"approach.":[204]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}