{"id":"https://openalex.org/W4284962442","doi":"https://doi.org/10.1145/3546941","title":"Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages","display_name":"Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages","publication_year":2022,"publication_date":"2022-07-09","ids":{"openalex":"https://openalex.org/W4284962442","doi":"https://doi.org/10.1145/3546941"},"language":"en","primary_location":{"id":"doi:10.1145/3546941","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3546941","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3546941","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3546941","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101896479","display_name":"Jaekwon Lee","orcid":"https://orcid.org/0000-0002-5222-1820"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]},{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["CA","LU"],"is_corresponding":true,"raw_author_name":"Jaekwon Lee","raw_affiliation_strings":["University of Luxembourg, Luxembourg and University of Ottawa, Ottawa, Canada"],"raw_orcid":"https://orcid.org/0000-0002-5222-1820","affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg and University of Ottawa, Ottawa, Canada","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I153718931"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088550214","display_name":"Seung Yeob Shin","orcid":"https://orcid.org/0000-0001-9025-7173"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Seung Yeob Shin","raw_affiliation_strings":["University of Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0001-9025-7173","affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074393374","display_name":"Shiva Nejati","orcid":"https://orcid.org/0000-0002-0281-8231"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]},{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["CA","LU"],"is_corresponding":false,"raw_author_name":"Shiva Nejati","raw_affiliation_strings":["University of Ottawa, Canada and University of Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0002-0281-8231","affiliations":[{"raw_affiliation_string":"University of Ottawa, Canada and University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I153718931"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078533117","display_name":"Lionel Briand","orcid":"https://orcid.org/0000-0002-1393-1010"},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]},{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["CA","LU"],"is_corresponding":false,"raw_author_name":"Lionel Briand","raw_affiliation_strings":["University of Luxembourg, Luxembourg and University of Ottawa, Ottawa, Canada"],"raw_orcid":"https://orcid.org/0000-0002-1393-1010","affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg and University of Ottawa, Ottawa, Canada","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I153718931"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027758528","display_name":"Yago Isasi Parache","orcid":"https://orcid.org/0000-0002-2873-3076"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yago Isasi Parache","raw_affiliation_strings":["LuxSpace, Betzdorf, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0002-2873-3076","affiliations":[{"raw_affiliation_string":"LuxSpace, Betzdorf, Luxembourg","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5101896479"],"corresponding_institution_ids":["https://openalex.org/I153718931","https://openalex.org/I186903577"],"apc_list":null,"apc_paid":null,"fwci":2.3331,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.87834201,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"32","issue":"2","first_page":"1","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9990000128746033,"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.9990000128746033,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9835000038146973,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9789000153541565,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9046002626419067},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.8188409805297852},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.662345290184021},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5749304294586182},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4876317083835602},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43807679414749146},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.42656978964805603},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.42114490270614624},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3572665750980377},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.22556716203689575},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.19870510697364807},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11712867021560669},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08457371592521667},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.07776561379432678}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9046002626419067},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8188409805297852},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.662345290184021},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5749304294586182},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4876317083835602},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43807679414749146},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.42656978964805603},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.42114490270614624},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3572665750980377},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.22556716203689575},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.19870510697364807},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11712867021560669},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08457371592521667},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.07776561379432678},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3546941","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3546941","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3546941","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2007.10490","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2007.10490","pdf_url":"https://arxiv.org/pdf/2007.10490","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:orbilu.uni.lu:10993/51197","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/51197","pdf_url":"https://orbilu.uni.lu/bitstream/10993/51197/1/tosem2022-CR.pdf","source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Software Engineering and Methodology (2023-03-29)","raw_type":"peer reviewed"},{"id":"pmh:oai:orbilu.uni.lu:10993/51197","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/51197","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"info:eu-repo/grantAgreement/EC/H2020/694277","raw_type":null}],"best_oa_location":{"id":"doi:10.1145/3546941","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3546941","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3546941","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G275404224","display_name":"Testing the Untestable: Model Testing of Complex Software-Intensive Systems","funder_award_id":"694277","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320310700","display_name":"Universit\u00e9 du Luxembourg","ror":"https://ror.org/036x5ad56"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4284962442.pdf","grobid_xml":"https://content.openalex.org/works/W4284962442.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W1465777884","https://openalex.org/W1524693929","https://openalex.org/W1526710119","https://openalex.org/W1566009215","https://openalex.org/W1605177295","https://openalex.org/W1807119923","https://openalex.org/W1936851409","https://openalex.org/W1968005108","https://openalex.org/W1972978214","https://openalex.org/W1982695538","https://openalex.org/W1990297162","https://openalex.org/W1993220166","https://openalex.org/W2018115912","https://openalex.org/W2019900845","https://openalex.org/W2020602307","https://openalex.org/W2025875132","https://openalex.org/W2030122595","https://openalex.org/W2036838567","https://openalex.org/W2050431484","https://openalex.org/W2056227251","https://openalex.org/W2074977053","https://openalex.org/W2105896457","https://openalex.org/W2108748002","https://openalex.org/W2109488193","https://openalex.org/W2110186189","https://openalex.org/W2125965646","https://openalex.org/W2133620399","https://openalex.org/W2145856894","https://openalex.org/W2147131885","https://openalex.org/W2148208903","https://openalex.org/W2149506096","https://openalex.org/W2160690545","https://openalex.org/W2164164042","https://openalex.org/W2171074980","https://openalex.org/W2233888282","https://openalex.org/W2261366444","https://openalex.org/W2324738746","https://openalex.org/W2339573327","https://openalex.org/W2470569489","https://openalex.org/W2498119267","https://openalex.org/W2521415272","https://openalex.org/W2587232141","https://openalex.org/W2720093539","https://openalex.org/W2787894218","https://openalex.org/W2911964244","https://openalex.org/W2946016889","https://openalex.org/W2966312217","https://openalex.org/W2979569264","https://openalex.org/W3037451871","https://openalex.org/W4230564642","https://openalex.org/W4235626864","https://openalex.org/W4244935483","https://openalex.org/W4251139773","https://openalex.org/W4251988601","https://openalex.org/W6833780757","https://openalex.org/W6996440770"],"related_works":["https://openalex.org/W1515433387","https://openalex.org/W1484796814","https://openalex.org/W1663166257","https://openalex.org/W2507397068","https://openalex.org/W2798800775","https://openalex.org/W2537786014","https://openalex.org/W52215546","https://openalex.org/W2159593428","https://openalex.org/W3198992024","https://openalex.org/W2353696478"],"abstract_inverted_index":{"Estimating":[0],"worst-case":[1,99],"execution":[2],"time":[3],"(WCET)":[4],"is":[5,77],"an":[6,66],"important":[7],"activity":[8],"at":[9],"early":[10],"design":[11,22],"stages":[12],"of":[13,58,152],"real-time":[14,59],"systems.":[15,129],"Based":[16],"on":[17],"WCET":[18,46,53,73,110,138],"estimates,":[19],"engineers":[20,40],"make":[21],"and":[23,48,126,133],"implementation":[24],"decisions":[25],"to":[26,50,69,79,119,145],"ensure":[27],"that":[28],"task":[29],"executions":[30],"always":[31],"complete":[32],"before":[33],"their":[34],"specified":[35],"deadlines.":[36],"However,":[37],"in":[38],"practice,":[39],"often":[41],"cannot":[42],"provide":[43,51,65],"precise":[44],"point":[45],"estimates":[47,135],"prefer":[49],"plausible":[52],"ranges.":[54,111],"Given":[55],"a":[56,88,94,149],"set":[57],"tasks":[60],"with":[61,87,102,148],"such":[62],"ranges,":[63],"we":[64],"automated":[67],"technique":[68],"determine":[70],"for":[71,97,106],"what":[72],"values":[74],"the":[75],"system":[76],"likely":[78,144],"meet":[80],"its":[81],"deadlines":[82,142],"and,":[83],"hence,":[84],"operate":[85],"safely":[86],"probabilistic":[89,108,136],"guarantee.":[90],"Our":[91,130],"approach":[92,115,131],"combines":[93],"search":[95],"algorithm":[96],"generating":[98],"scheduling":[100],"scenarios":[101],"polynomial":[103],"logistic":[104],"regression":[105],"inferring":[107],"safe":[109,137],"We":[112],"evaluated":[113],"our":[114],"by":[116],"applying":[117],"it":[118],"three":[120],"industrial":[121],"systems":[122],"from":[123],"different":[124],"domains":[125],"several":[127],"synthetic":[128],"efficiently":[132],"accurately":[134],"ranges":[139],"within":[140],"which":[141],"are":[143],"be":[146],"satisfied":[147],"high":[150],"degree":[151],"confidence.":[153]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}