{"id":"W4321524520","doi":"10.48550/arxiv.2302.10288","title":"Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","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); Set (abstract data type); Execution time; Reliability engineering; Mathematical optimization; Distributed computing; Machine learning; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002721312,0.001172874,0.00100528,0.001492441,0.0003724322,0.001141323,0.00137269,0.001022966,0.001157527],"category_scores_gemma":[0.01725828,0.0006922358,0.0008511507,0.0008951246,0.001136581,0.001369017,0.00123575,0.001799693,0.0003114235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00114516,"about_ca_system_score_gemma":0.001348825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005494791,"about_ca_topic_score_gemma":0.00497207,"domain_scores_codex":[0.9978465,0.0009050362,0.00009906618,0.0004914441,0.0004819859,0.0001759164],"domain_scores_gemma":[0.9889801,0.008310935,0.001266877,0.0006614099,0.0005555953,0.0002250456],"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.00007453722,0.0000204384,0.002175171,0.00004807425,0.00002242423,0.00005099986,0.00004015478,0.9786155,0.001556534,0.001955464,0.0001888002,0.01525183],"study_design_scores_gemma":[0.000003211544,0.0000108512,0.0003793818,0.000004820422,0.000003452259,0.000009966644,0.000006544755,0.9951929,0.0006400634,0.003627422,0.0001179393,0.000003661051],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06078624,0.0003637965,0.9368944,0.0002672799,0.00001236608,0.00003423774,0.0001146857,0.0006442573,0.0008828127],"genre_scores_gemma":[0.894072,0.0002151977,0.1037698,0.00009972665,0.00003987995,0.00009315229,0.0003484226,0.000180409,0.001181473],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005494791,"threshold_uncertainty_score":0.01439184,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1411484833195927,"score_gpt":0.2180813250180944,"score_spread":0.07693284169850173,"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."}}