{"id":"https://openalex.org/W4233353136","doi":"https://doi.org/10.1109/cases.2013.6662526","title":"ILPc: A novel approach for scalable timing analysis of synchronous programs","display_name":"ILPc: 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":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/cases.2013.6662526","pdf_url":null,"source":null,"license":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5064711095","display_name":"Jiajie Wang","orcid":"https://orcid.org/0000-0003-4302-5294"},"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_string":"University of Auckland","raw_affiliation_strings":["University of Auckland"]},{"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_string":"University of Auckland","raw_affiliation_strings":["University of Auckland"]},{"author_position":"last","author":{"id":"https://openalex.org/A5079479704","display_name":"Sidharta Andalam","orcid":null},"institutions":[{"id":"https://openalex.org/I4210146168","display_name":"CREATe Centre","ror":"https://ror.org/04e30s833","country_code":"GB","type":"facility","lineage":["https://openalex.org/I4210146168"]},{"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":["GB","NZ"],"is_corresponding":false,"raw_author_name":"Sidharta Andalam","raw_affiliation_string":"TUM CREATE; University of Auckland","raw_affiliation_strings":["TUM CREATE","University of Auckland"]}],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":7,"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Scheduling in Embedded Systems","score":0.9998,"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 Scheduling in Embedded Systems","score":0.9998,"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 Software Verification and Control","score":0.9995,"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":"Reconfigurable Computing Systems and Design Methods","score":0.9993,"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":[{"keyword":"scalable timing analysis","score":0.7461}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8078096},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7652521},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6966528},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.68005604},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.58709306},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.52809805},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5132079},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.50239253},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4590541},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45240408},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4453896},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.42849004},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41632012},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40931857},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2940154},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2429635},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.18664905},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08816704},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/cases.2013.6662526","pdf_url":null,"source":null,"license":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"referenced_works_count":11,"referenced_works":["https://openalex.org/W2076285066","https://openalex.org/W2080875873","https://openalex.org/W2081938726","https://openalex.org/W2086311474","https://openalex.org/W2116912109","https://openalex.org/W2127335869","https://openalex.org/W2132226913","https://openalex.org/W2146642094","https://openalex.org/W2147236388","https://openalex.org/W2158395308","https://openalex.org/W2169497125"],"related_works":["https://openalex.org/W2884574904","https://openalex.org/W2462966030","https://openalex.org/W2094926594","https://openalex.org/W3197996019","https://openalex.org/W136631479","https://openalex.org/W101841668","https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2067910792"],"ngrams_url":"https://api.openalex.org/works/W4233353136/ngrams","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]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4233353136","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":"2024-03-20T23:14:57.079615","created_date":"2022-05-12"}