{"id":"W2058980727","doi":"10.1109/ecrts.2014.28","title":"Real-Time Systems Security through Scheduler Constraints","year":2014,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":54,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Scheduling (production processes); Distributed computing; Isolation (microbiology); Information leakage; Task (project management); Worst-case execution time; Execution time; Real-time computing; Computer security; Mathematical optimization; 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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00133607,0.0002830073,0.000454106,0.00008218796,0.000167903,0.0005887519,0.001252332,0.0001756494,0.0001596581],"category_scores_gemma":[0.0001254903,0.0002417172,0.0001151557,0.0003816138,0.000149186,0.001262959,0.0003193246,0.0001926638,0.003372116],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007451612,"about_ca_system_score_gemma":0.000108275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007026727,"about_ca_topic_score_gemma":0.000003805173,"domain_scores_codex":[0.99714,0.0003878172,0.0005681997,0.0007453522,0.0005635929,0.0005950349],"domain_scores_gemma":[0.9977475,0.0002781306,0.0002100544,0.001365509,0.0001916994,0.0002071197],"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.000002564368,0.00006002946,0.0003195854,0.00008629565,0.000049717,0.00001445064,0.0009087948,0.0003313832,0.008334097,0.9844886,0.003796072,0.001608431],"study_design_scores_gemma":[0.001336155,0.0001916551,0.0006188648,0.0002957619,0.00002157332,0.0004386168,0.0003226701,0.9607576,0.006346381,0.01587,0.01254893,0.001251822],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03396982,0.00003578638,0.5524555,0.00035069,0.0009822833,0.0003906442,0.000001788883,0.0009569867,0.4108565],"genre_scores_gemma":[0.9111118,0.00000793137,0.08693441,0.0001207248,0.0002852319,0.00002561261,0.000003001505,0.00002288682,0.001488436],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9686186,"threshold_uncertainty_score":0.9974039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01249754820693166,"score_gpt":0.2422898172220095,"score_spread":0.2297922690150778,"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."}}