{"id":"W2002737237","doi":"10.1109/rtcsa.2012.16","title":"Time-Triggered Program Self-Monitoring","year":2012,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Correctness; Overhead (engineering); Concurrency; Synchronization (alternating current); Timer; Distributed computing; Process (computing); State (computer science); Real-time computing; Instrumentation (computer programming); Set (abstract data type); Embedded system; Algorithm; Operating system; Microcontroller","routes":{"ca_aff":true,"ca_fund":true,"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.0005661653,0.0001327092,0.0001524962,0.00007477302,0.00009280412,0.0002355317,0.0006501073,0.00006691345,0.00003082199],"category_scores_gemma":[0.000022868,0.0001103928,0.00006242681,0.0003634543,0.00001276811,0.00137221,0.0002145232,0.00009674297,0.002438098],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006090773,"about_ca_system_score_gemma":0.00003687238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002146079,"about_ca_topic_score_gemma":1.273207e-7,"domain_scores_codex":[0.9986185,0.00006841417,0.0002239933,0.0002431101,0.0003044062,0.0005415591],"domain_scores_gemma":[0.9990019,0.00006560364,0.00007071396,0.0005831408,0.00005955678,0.0002190533],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009958804,0.002519246,0.1338347,0.0002610305,0.0003974378,0.00004399275,0.01279064,0.0001499123,0.03879713,0.05524586,0.0078287,0.7481213],"study_design_scores_gemma":[0.00319059,0.0008310677,0.09502611,0.0004174986,0.0001005512,0.0007482634,0.0007282341,0.3880257,0.2538616,0.0008730124,0.251872,0.004325331],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5271673,0.001192575,0.1781453,0.0006049721,0.006137816,0.002076826,4.933293e-7,0.01307778,0.2715969],"genre_scores_gemma":[0.6301401,0.000002020107,0.3680144,0.00001146483,0.0004864815,0.00003866688,2.85365e-7,0.00001047419,0.001296144],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.743796,"threshold_uncertainty_score":0.9983386,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01584770647337189,"score_gpt":0.2726198022229708,"score_spread":0.2567720957495989,"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."}}