{"id":"W1534030588","doi":"10.1109/rtas.2015.7108450","title":"A generalized model for preventing information leakage in hard real-time systems","year":2015,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":49,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Information leakage; Scheduling (production processes); Distributed computing; State information; Embedded system; Leakage (economics); Real-time computing; State (computer science); Computer security; Engineering","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":[],"consensus_categories":[],"category_scores_codex":[0.001905145,0.0001479556,0.0002786295,0.0002103552,0.00005155549,0.0004805588,0.0005730472,0.00009026612,0.000001486314],"category_scores_gemma":[0.0001293881,0.0001335977,0.00006641239,0.0002835172,0.000008318671,0.003201468,0.0001571711,0.0000637381,0.0001487532],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001525681,"about_ca_system_score_gemma":0.0001952455,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007878547,"about_ca_topic_score_gemma":0.0000158016,"domain_scores_codex":[0.9982921,0.000100857,0.0006643987,0.0002474048,0.0003380351,0.0003571851],"domain_scores_gemma":[0.9988784,0.00005897845,0.0002332004,0.0004877289,0.0002091846,0.0001325772],"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.00003365602,0.00005476156,0.00038333,0.0003084304,0.00003139548,0.000003432662,0.008601054,0.8500636,0.006315053,0.1224352,0.008554124,0.003215912],"study_design_scores_gemma":[0.000949314,0.00002533674,0.00003338398,0.00005978522,0.000002764808,0.000009919855,0.0001036994,0.9973715,0.0002384051,0.0007599153,0.0002784573,0.000167494],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06850971,0.00002481643,0.9202415,0.000118853,0.0002663659,0.0009269745,0.000002189919,0.0002817349,0.009627825],"genre_scores_gemma":[0.4991667,0.000003609353,0.4941259,0.00006934241,0.00009398063,0.0002894096,0.00001901859,0.00001731469,0.006214698],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.430657,"threshold_uncertainty_score":0.5447958,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04770569517853304,"score_gpt":0.2693522208232108,"score_spread":0.2216465256446777,"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."}}