{"id":"https://openalex.org/W4416349176","doi":"https://doi.org/10.48550/arxiv.2511.11682","title":"Generalized Inequality-based Approach for Probabilistic WCET Estimation","display_name":"Generalized Inequality-based Approach for Probabilistic WCET Estimation","publication_year":2025,"publication_date":"2025-11-12","ids":{"openalex":"https://openalex.org/W4416349176","doi":"https://doi.org/10.48550/arxiv.2511.11682"},"language":null,"primary_location":{"id":"pmh:oai:arXiv.org:2511.11682","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2511.11682","pdf_url":"https://arxiv.org/pdf/2511.11682","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"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2511.11682","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119546690","display_name":"Hayate Toba","orcid":"https://orcid.org/0009-0000-5741-8721"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Toba, Hayate","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089849223","display_name":"Atsushi Yano","orcid":"https://orcid.org/0000-0003-2420-3622"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yano, Atsushi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5022413623","display_name":"Takuya Azumi","orcid":"https://orcid.org/0000-0003-0767-4086"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Azumi, Takuya","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.3617999851703644,"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.3617999851703644,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.24740000069141388,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12814","display_name":"Gaussian Processes and Bayesian Inference","score":0.028300000354647636,"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/correctness","display_name":"Correctness","score":0.7890999913215637},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7416999936103821},{"id":"https://openalex.org/keywords/outlier","display_name":"Outlier","score":0.6154000163078308},{"id":"https://openalex.org/keywords/extreme-value-theory","display_name":"Extreme value theory","score":0.40630000829696655},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.3747999966144562},{"id":"https://openalex.org/keywords/probabilistic-method","display_name":"Probabilistic method","score":0.3580000102519989},{"id":"https://openalex.org/keywords/estimation-of-distribution-algorithm","display_name":"Estimation of distribution algorithm","score":0.351500004529953},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.34619998931884766},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.335099995136261}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7890999913215637},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7416999936103821},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6640999913215637},{"id":"https://openalex.org/C79337645","wikidata":"https://www.wikidata.org/wiki/Q779824","display_name":"Outlier","level":2,"score":0.6154000163078308},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5160999894142151},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4171999990940094},{"id":"https://openalex.org/C147581598","wikidata":"https://www.wikidata.org/wiki/Q729429","display_name":"Extreme value theory","level":2,"score":0.40630000829696655},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3747999966144562},{"id":"https://openalex.org/C60782215","wikidata":"https://www.wikidata.org/wiki/Q3333679","display_name":"Probabilistic method","level":3,"score":0.3580000102519989},{"id":"https://openalex.org/C162500139","wikidata":"https://www.wikidata.org/wiki/Q2835887","display_name":"Estimation of distribution algorithm","level":2,"score":0.351500004529953},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.34619998931884766},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.335099995136261},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.3190999925136566},{"id":"https://openalex.org/C96250715","wikidata":"https://www.wikidata.org/wiki/Q965330","display_name":"Estimation","level":2,"score":0.31380000710487366},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.3084000051021576},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.3061999976634979},{"id":"https://openalex.org/C2778865114","wikidata":"https://www.wikidata.org/wiki/Q7882489","display_name":"Uncertain data","level":2,"score":0.30329999327659607},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.3000999987125397},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.29919999837875366},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2939999997615814},{"id":"https://openalex.org/C2983703474","wikidata":"https://www.wikidata.org/wiki/Q17088227","display_name":"Probability estimation","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.28690001368522644},{"id":"https://openalex.org/C9992130","wikidata":"https://www.wikidata.org/wiki/Q484954","display_name":"Pessimism","level":2,"score":0.2847999930381775},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.27399998903274536},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C137912672","wikidata":"https://www.wikidata.org/wiki/Q1967096","display_name":"Possibility theory","level":4,"score":0.26840001344680786},{"id":"https://openalex.org/C134121241","wikidata":"https://www.wikidata.org/wiki/Q899301","display_name":"Yield (engineering)","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.260699987411499},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.258899986743927}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2511.11682","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2511.11682","pdf_url":"https://arxiv.org/pdf/2511.11682","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":"doi:10.48550/arxiv.2511.11682","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2511.11682","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2511.11682","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2511.11682","pdf_url":"https://arxiv.org/pdf/2511.11682","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Estimating":[0],"the":[1,11,46,51,55,94,110,117],"probabilistic":[2],"Worst-Case":[3],"Execution":[4],"Time":[5],"(pWCET)":[6],"is":[7],"essential":[8],"for":[9,69,125],"ensuring":[10],"timing":[12],"correctness":[13],"of":[14,54,96],"real-time":[15],"applications,":[16],"such":[17,79,126],"as":[18],"in":[19],"robot":[20],"IoT":[21],"systems":[22],"and":[23,86,106,122],"autonomous":[24,112],"driving":[25,113],"systems.":[26],"While":[27],"methods":[28],"based":[29],"on":[30,104],"Extreme":[31],"Value":[32],"Theory":[33],"(EVT)":[34],"can":[35,65],"provide":[36],"tight":[37],"bounds,":[38],"they":[39],"suffer":[40],"from":[41,109],"model":[42],"uncertainty":[43],"due":[44],"to":[45,48,77],"need":[47],"decide":[49],"where":[50],"upper":[52],"tail":[53],"distribution":[56],"begins.":[57],"Conversely,":[58],"inequality-based":[59],"approaches":[60],"avoid":[61],"this":[62],"issue":[63],"but":[64],"yield":[66],"pessimistic":[67],"results":[68],"heavy-tailed":[70],"distributions.":[71,127],"This":[72],"paper":[73],"proposes":[74],"a":[75],"method":[76,119],"reduce":[78],"pessimism":[80],"by":[81],"incorporating":[82],"saturating":[83],"functions":[84],"(arctangent":[85],"hyperbolic":[87],"tangent)":[88],"into":[89],"Chebyshev's":[90],"inequality,":[91],"which":[92],"mitigates":[93],"influence":[95],"large":[97],"outliers":[98],"while":[99],"preserving":[100],"mathematical":[101],"soundness.":[102],"Evaluations":[103],"synthetic":[105],"real-world":[107],"data":[108],"Autoware":[111],"stack":[114],"demonstrate":[115],"that":[116],"proposed":[118],"achieves":[120],"safe":[121],"tighter":[123],"bounds":[124]},"counts_by_year":[],"updated_date":"2026-07-03T08:13:44.112507","created_date":"2025-11-19T00:00:00"}