{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001580239,0.0006444894,0.0005334739,0.0005161793,0.0004061286,0.001364692,0.001181245,0.0004803794,0.0007330854],"category_scores_gemma":[0.005955093,0.0003409645,0.0004296369,0.0002945631,0.001157011,0.001425886,0.001091608,0.0007366475,0.00009815142],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007611053,"about_ca_system_score_gemma":0.001126184,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00149454,"about_ca_topic_score_gemma":0.00131906,"domain_scores_codex":[0.9982405,0.0004159644,0.000107661,0.0003964751,0.0006377643,0.0002016574],"domain_scores_gemma":[0.9960369,0.001892455,0.00076318,0.0007761098,0.0003898414,0.0001415214],"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.0006417243,0.0002312689,0.01044054,0.0003696397,0.0001184151,0.0008627874,0.0008260403,0.6855042,0.1372934,0.03828536,0.0007695721,0.1246571],"study_design_scores_gemma":[0.00003191878,0.0001568766,0.002075449,0.00001986799,0.00004852291,0.000135578,0.00007206425,0.9562547,0.03163513,0.008436193,0.001114207,0.00001959338],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3063754,0.0003793685,0.6875457,0.0001692944,0.00003985954,0.00007788742,0.00006078515,0.002960079,0.002391564],"genre_scores_gemma":[0.9595783,0.00008123394,0.03966451,0.00002519459,0.00001454318,0.00006233223,0.00004199866,0.00007715664,0.000454673],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001580239,"threshold_uncertainty_score":0.008357227,"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."}}