{"id":"W3041894101","doi":"10.1109/mdat.2020.3007729","title":"Runtime Protection of Real-time Critical Control Applications against Known Threats","year":2020,"lang":"en","type":"article","venue":"IEEE Design and Test","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Computer science; Computer security; Control (management); Artificial intelligence","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.001283234,0.000618775,0.0004206396,0.0005574015,0.0005244506,0.00140788,0.0008234806,0.0004440734,0.001491551],"category_scores_gemma":[0.004303407,0.0002711303,0.0005831887,0.0002108433,0.0007854197,0.0009778226,0.0007544549,0.0009058029,0.000350134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006832236,"about_ca_system_score_gemma":0.001448881,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00124042,"about_ca_topic_score_gemma":0.00135048,"domain_scores_codex":[0.9987644,0.0003379675,0.00009339322,0.000205447,0.0004197642,0.0001790844],"domain_scores_gemma":[0.9973837,0.0009700403,0.000365336,0.0007748146,0.0004261275,0.00008003691],"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.001167659,0.000268911,0.007362238,0.0005965856,0.0001397029,0.001079927,0.001074549,0.3190029,0.2727161,0.086659,0.003678689,0.3062537],"study_design_scores_gemma":[0.00003962422,0.000367986,0.001443862,0.00007284188,0.00007136429,0.0003634731,0.00009498543,0.8405299,0.1297281,0.01881615,0.008434912,0.00003691869],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09311052,0.0003454963,0.8978796,0.0002468134,0.00009419463,0.000117545,0.00007382473,0.004521539,0.003610524],"genre_scores_gemma":[0.9229063,0.0001771528,0.07452971,0.00008156705,0.00003774992,0.00008360327,0.00009685967,0.0002379955,0.001849056],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001491551,"threshold_uncertainty_score":0.006786466,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03317008555511679,"score_gpt":0.2574221427157394,"score_spread":0.2242520571606226,"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."}}