{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002105652,0.0008965356,0.0009444238,0.0006528551,0.0006157045,0.002600546,0.002857611,0.001665555,0.003064183],"category_scores_gemma":[0.005478438,0.0005693796,0.001104113,0.000780088,0.001813337,0.003990022,0.002010993,0.00263054,0.0006206642],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001531207,"about_ca_system_score_gemma":0.00229512,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003381331,"about_ca_topic_score_gemma":0.002773511,"domain_scores_codex":[0.9975494,0.0008476282,0.0001690458,0.0003570333,0.0007140747,0.0003627984],"domain_scores_gemma":[0.9969698,0.00100711,0.0003360024,0.001142861,0.0003328221,0.0002115011],"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.0001721028,0.00006271598,0.0003500628,0.0001526137,0.00004417833,0.0002530382,0.000288421,0.7845715,0.005264139,0.1966678,0.001225817,0.01094768],"study_design_scores_gemma":[0.00005112491,0.00008415811,0.00008859763,0.00002338335,0.00002058699,0.00005330054,0.00003455638,0.9294717,0.001316327,0.06518869,0.003648539,0.00001907715],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02575935,0.0002825867,0.9687609,0.0004721169,0.00009119396,0.000121943,0.0001425129,0.0006274071,0.003741958],"genre_scores_gemma":[0.8268048,0.0005574498,0.1645293,0.0004271879,0.0001369503,0.0005048023,0.0002634372,0.0002050988,0.006571067],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003381331,"threshold_uncertainty_score":0.01113588,"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."}}