{"id":"W2934871861","doi":"10.1109/hase.2019.00020","title":"Isochronous Execution Models for High-Assurance Real-Time Systems","year":2019,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Real-time computing","routes":{"ca_aff":true,"ca_fund":false,"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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0006843456,0.000221157,0.0004022529,0.0001055217,0.0001056879,0.0003604412,0.0009002,0.0001362944,0.00002004858],"category_scores_gemma":[0.00001757464,0.0001965576,0.0001020961,0.0002443165,0.00001662977,0.00155415,0.0001275655,0.00007343086,0.001200276],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001606799,"about_ca_system_score_gemma":0.000139137,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001224447,"about_ca_topic_score_gemma":0.000005637164,"domain_scores_codex":[0.9978786,0.00009220348,0.0004710548,0.000689253,0.0003767544,0.0004921218],"domain_scores_gemma":[0.9981278,0.0002493187,0.0002120026,0.001078824,0.0002187773,0.0001132387],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002284166,0.00007322482,0.00007235925,0.0003998867,0.00006685314,0.000004882833,0.0004876432,0.1639756,0.07213274,0.7560356,0.004925909,0.001802478],"study_design_scores_gemma":[0.0005770025,0.0001317282,0.00009099775,0.00009898733,0.000005716318,0.00002539017,0.00003892181,0.9935138,0.002106871,0.002889635,0.0002234707,0.0002975175],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04599793,0.0001183586,0.9223237,0.0002057282,0.001368877,0.001395122,0.000005876965,0.0006042676,0.02798015],"genre_scores_gemma":[0.9044301,0.00001486354,0.08382367,0.00003429224,0.0001680557,0.0001310519,0.000007578089,0.00002666311,0.01136371],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8584322,"threshold_uncertainty_score":0.9995774,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01085857751033243,"score_gpt":0.2214236857712603,"score_spread":0.2105651082609279,"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."}}