{"id":"W2056047125","doi":"10.1145/2744196","title":"Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints","year":2015,"lang":"en","type":"article","venue":"ACM Transactions on Embedded Computing Systems","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University; University of Waterloo","funders":"","keywords":"Computer science; Cyber-physical system; Embedded system; Runtime verification; Jitter; Memory footprint; Real-time computing; Distributed computing; Operating system; Formal verification","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00133252,0.0004050498,0.0008253619,0.0003576351,0.0002878836,0.0004600964,0.001117694,0.0001803813,8.829699e-7],"category_scores_gemma":[0.00007680258,0.0003996559,0.0001490811,0.0006153918,0.0001759157,0.0005911121,0.00007524704,0.0004167315,0.00004778635],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002124368,"about_ca_system_score_gemma":0.0001945144,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000431357,"about_ca_topic_score_gemma":8.009334e-7,"domain_scores_codex":[0.9963766,0.000466227,0.0009097045,0.0008014648,0.000876796,0.0005691504],"domain_scores_gemma":[0.9965824,0.0007939583,0.0004752672,0.001422491,0.0003629026,0.0003629757],"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.00002718837,0.0003244045,0.0004234136,0.0005722874,0.0004604567,0.0000452659,0.01511823,0.9484011,0.005974669,0.006349716,0.00005324301,0.02225002],"study_design_scores_gemma":[0.00178285,0.0003135508,0.0002998071,0.001829341,0.00008927326,0.0006790534,0.01567008,0.9736325,0.004616831,0.0002806739,0.00003101682,0.0007749833],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2995161,0.0002935133,0.6953893,0.00005248986,0.002940828,0.0005009756,0.000004141166,0.0003636402,0.0009389151],"genre_scores_gemma":[0.9793345,0.000003285431,0.02008301,0.000008945337,0.0003685757,0.0000243742,0.000001094307,0.00004372164,0.000132514],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6798183,"threshold_uncertainty_score":0.9998455,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0513958623455601,"score_gpt":0.2936989394645004,"score_spread":0.2423030771189403,"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."}}