{"id":"W2080598508","doi":"10.1145/2380356.2380402","title":"Runtime verification of real-time embedded systems","year":2012,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Runtime verification; Overhead (engineering); Embedded system; State (computer science); Set (abstract data type); Distributed computing; Formal verification; Real-time computing; Operating system; Programming language","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.001274838,0.0001294177,0.0002614434,0.0001146287,0.00005120243,0.00009533144,0.000658747,0.00008301772,0.00005191],"category_scores_gemma":[0.0000479245,0.0001119263,0.00006408396,0.0003707315,0.0000251831,0.001147898,0.0001169012,0.00005450807,0.001252987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004663123,"about_ca_system_score_gemma":0.0000461433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003599601,"about_ca_topic_score_gemma":3.368096e-7,"domain_scores_codex":[0.9984066,0.0001802896,0.0004627148,0.0002472161,0.0003638292,0.0003393783],"domain_scores_gemma":[0.9983972,0.0001168324,0.0002505782,0.0009623517,0.000136011,0.000136986],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008464807,0.0002458126,0.00363583,0.0002067707,0.00008858382,0.000002045815,0.003522552,0.0006773524,0.6385299,0.3447647,0.004983339,0.003334596],"study_design_scores_gemma":[0.001070261,0.0001857301,0.02622841,0.0002847029,0.00005100868,0.0001679697,0.0007575924,0.8170971,0.148427,0.000337318,0.00418256,0.001210269],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1843066,0.000352808,0.5936694,0.0001219346,0.001602314,0.0007345068,0.000002256579,0.0007304539,0.2184797],"genre_scores_gemma":[0.9538578,0.000006588385,0.04309536,0.00000828281,0.0001520529,0.00001893778,0.000003110725,0.00001229452,0.002845603],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8164198,"threshold_uncertainty_score":0.9995247,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01564665807353685,"score_gpt":0.2453749831991221,"score_spread":0.2297283251255852,"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."}}