{"id":"W4284962442","doi":"10.1145/3546941","title":"Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada; European Commission; Université du Luxembourg","keywords":"Computer science; Probabilistic logic; Worst-case execution time; Scheduling (production processes); Task (project management); Set (abstract data type); Execution time; Point (geometry); Real-time computing; Distributed computing; Mathematical optimization; Artificial intelligence; Programming language; Systems engineering","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":[],"consensus_categories":[],"category_scores_codex":[0.002686905,0.0002192499,0.0005147014,0.000288506,0.0002938004,0.00003669367,0.0005931919,0.00008769517,0.00002729888],"category_scores_gemma":[0.001074938,0.0002277572,0.00007858717,0.0003735087,0.00004197748,0.0001498599,0.00007796393,0.000277672,0.00000529386],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001383052,"about_ca_system_score_gemma":0.00006199638,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001247483,"about_ca_topic_score_gemma":7.052914e-7,"domain_scores_codex":[0.9973912,0.00108731,0.0004467912,0.0004801391,0.0002615032,0.0003331084],"domain_scores_gemma":[0.9929574,0.005955323,0.0001614615,0.0007617345,0.00006289232,0.0001011852],"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.00002252218,0.00002721981,0.00002260723,0.0002133755,0.0000618464,0.00001076367,0.0008331992,0.9791989,0.01225448,0.0003243962,0.00001807107,0.007012611],"study_design_scores_gemma":[0.0008138469,0.0007647249,0.0003341281,0.0001650032,0.00009453288,0.0007802627,0.000156444,0.9882744,0.007267309,0.0004614761,0.0003156753,0.0005721875],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02277792,0.0002914059,0.9750922,0.00006109589,0.0009274376,0.0003825398,0.00001802962,0.0004402775,0.000009066835],"genre_scores_gemma":[0.08715881,0.00001826475,0.9123001,0.000007945617,0.00003067163,0.0002125537,0.000002707871,0.00002993154,0.0002390537],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.06438089,"threshold_uncertainty_score":0.9287669,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07499825737973446,"score_gpt":0.2915509129937985,"score_spread":0.2165526556140641,"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."}}