{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009515845,0.0006078769,0.0005071131,0.0004473558,0.0003056501,0.0006402233,0.001478615,0.0005138906,0.001230316],"category_scores_gemma":[0.003313282,0.0002759616,0.000491589,0.0004958282,0.0005831236,0.001134301,0.0006660993,0.000819684,0.0002185277],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005013912,"about_ca_system_score_gemma":0.00100514,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006655548,"about_ca_topic_score_gemma":0.0009489178,"domain_scores_codex":[0.9985533,0.0003297273,0.00007811831,0.0003794538,0.0005279093,0.0001314653],"domain_scores_gemma":[0.9960129,0.001619459,0.0007470374,0.001051682,0.0004410031,0.0001278384],"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.001092743,0.000599072,0.007370663,0.0006077631,0.0001291414,0.0004269216,0.0004805373,0.1873615,0.2514713,0.02360242,0.004656019,0.522202],"study_design_scores_gemma":[0.00006408848,0.0003707535,0.001725439,0.00002492184,0.00006185498,0.0002952673,0.00003608761,0.8984773,0.08760243,0.006214563,0.005101735,0.00002565445],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08774754,0.0003040446,0.902359,0.0001478936,0.00003544901,0.0001427911,0.0001081967,0.007259701,0.001895412],"genre_scores_gemma":[0.7073959,0.0002037689,0.2894073,0.0001242248,0.0000327464,0.0001958881,0.0003183708,0.0003802765,0.001941498],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001478615,"threshold_uncertainty_score":0.005032539,"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."}}