{"id":"W4386191524","doi":"10.1145/3617176","title":"Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages","year":2023,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; Mitacs; European Commission; Université du Luxembourg","keywords":"Computer science; Leverage (statistics); Probabilistic logic; Worst-case execution time; Scheduling (production processes); Reliability engineering; Execution time; Distributed computing; Mathematical optimization; Machine learning; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002446025,0.0002507746,0.0004430223,0.0003657962,0.0002425316,0.0001039442,0.0004333679,0.0001923333,0.000005328935],"category_scores_gemma":[0.002063535,0.0002498106,0.00009050381,0.0004689397,0.00003236248,0.0002644358,0.00002737564,0.0001590426,0.00006912823],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001238301,"about_ca_system_score_gemma":0.00005807243,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004653142,"about_ca_topic_score_gemma":0.00000114117,"domain_scores_codex":[0.9979684,0.0004345842,0.0003958377,0.0005769669,0.0001790064,0.0004451917],"domain_scores_gemma":[0.9910396,0.007902862,0.00009626552,0.0007291323,0.00009440519,0.0001377531],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002662089,0.00001360136,0.000007643896,0.0003049712,0.00006531121,0.00000617844,0.0004371785,0.9744939,0.00910243,0.0008166385,0.0001626331,0.01456289],"study_design_scores_gemma":[0.0004442397,0.0002956714,0.0005441435,0.0001412402,0.00005505995,0.0001289741,0.00002934056,0.9931509,0.003504896,0.0008148451,0.0005287185,0.0003619152],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008556117,0.00007686365,0.9878433,0.0001748746,0.001051129,0.0007726759,0.00002251804,0.001497884,0.000004647444],"genre_scores_gemma":[0.01518841,0.0000597566,0.9830529,0.00001099139,0.00005450265,0.0005057611,0.00001339762,0.00004482355,0.001069463],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01865705,"threshold_uncertainty_score":0.9999954,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1139860265571518,"score_gpt":0.3153924230822553,"score_spread":0.2014063965251035,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}