{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002462225,0.001136716,0.0006225841,0.0006583921,0.000654492,0.00181783,0.002201869,0.00110002,0.002978388],"category_scores_gemma":[0.004831711,0.0005169871,0.0009632082,0.0006253938,0.001796089,0.002847703,0.001453235,0.002649965,0.000722743],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001405975,"about_ca_system_score_gemma":0.001740093,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003072253,"about_ca_topic_score_gemma":0.003631997,"domain_scores_codex":[0.998516,0.0005284662,0.00009033279,0.0002009874,0.0004771054,0.0001871193],"domain_scores_gemma":[0.9974055,0.001194967,0.0003791987,0.0005239751,0.0003042545,0.0001921764],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009702381,0.00006019332,0.0003029627,0.00007380485,0.00001915557,0.000112965,0.000252288,0.5299394,0.003056754,0.456069,0.00114211,0.008874352],"study_design_scores_gemma":[0.00002675124,0.00003839594,0.00005183435,0.00001258568,0.00001230441,0.0000286156,0.00002779596,0.8803324,0.0007526394,0.1153056,0.003400319,0.00001082213],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01385172,0.0002583954,0.9804462,0.0003044299,0.0000485605,0.00005496028,0.00005254389,0.0002748074,0.00470841],"genre_scores_gemma":[0.6477898,0.001090018,0.337092,0.0002454273,0.0001861586,0.0004586957,0.0002750816,0.000292286,0.0125706],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003072253,"threshold_uncertainty_score":0.01302165,"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."}}