{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003963288,0.001216654,0.0006376891,0.002652772,0.0004220874,0.0009967022,0.001236112,0.0009675185,0.0007181091],"category_scores_gemma":[0.03246803,0.0008248047,0.0009318228,0.001270861,0.0008666744,0.001898376,0.0009625921,0.001328749,0.0002734634],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009528951,"about_ca_system_score_gemma":0.001191813,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003748404,"about_ca_topic_score_gemma":0.003835077,"domain_scores_codex":[0.9964164,0.001135772,0.0002224307,0.0006756202,0.001323608,0.000226054],"domain_scores_gemma":[0.9749047,0.01795475,0.003180977,0.002101991,0.001642004,0.0002155396],"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.0001104954,0.00004103983,0.008032635,0.0000738207,0.00004390277,0.0001536959,0.0001084527,0.9623713,0.005468798,0.002413584,0.0002412567,0.02094094],"study_design_scores_gemma":[0.000007333282,0.00003573283,0.001801057,0.000008793882,0.00001037988,0.00006738521,0.00002171642,0.9892497,0.004010113,0.004484099,0.0002916302,0.00001201552],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1676153,0.0004292651,0.8286357,0.0001701181,0.00001392867,0.00008966507,0.0003137047,0.001475842,0.001256492],"genre_scores_gemma":[0.8803867,0.0001491517,0.1181344,0.000042851,0.0000130827,0.0001237817,0.0005907252,0.0001912947,0.000367925],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003963288,"threshold_uncertainty_score":0.02096015,"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."}}