{"id":"W4235758371","doi":"10.1145/347636.348874","title":"Requirements-based monitors for real-time systems","year":2000,"lang":"en","type":"article","venue":"ACM SIGSOFT Software Engineering Notes","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University; Memorial University of Newfoundland","funders":"","keywords":"Supervisor; Oracle; Computer science; Reliability engineering; Real-time computing; Control (management); Control system; System requirements; Systems engineering; Engineering; Software engineering; Operating system","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":["metaresearch","metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006446172,0.0005045144,0.0005256081,0.0002443626,0.00016791,0.0001978203,0.001950133,0.0002111788,0.00002885893],"category_scores_gemma":[0.0739248,0.00053027,0.0001914079,0.0005601707,0.00003950774,0.0006630219,0.0001812278,0.0002201894,0.0001025447],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001837084,"about_ca_system_score_gemma":0.00007968963,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002817542,"about_ca_topic_score_gemma":1.825469e-7,"domain_scores_codex":[0.9973773,0.00006126649,0.0005193003,0.0007706609,0.0004187665,0.0008526542],"domain_scores_gemma":[0.9366397,0.06112961,0.0001081478,0.001762874,0.0001527373,0.0002069293],"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.00002361822,0.00005042754,0.003788772,0.000286534,0.00006135349,0.00002046616,0.0001377916,0.9596301,0.005129356,0.0005253708,0.0005240769,0.02982218],"study_design_scores_gemma":[0.01238082,0.003925293,0.09224283,0.004001858,0.0004735405,0.0002571653,0.00005497626,0.5675624,0.1895211,0.004406963,0.1084766,0.0166964],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03109242,0.0004200052,0.9610455,0.0001027423,0.001072387,0.0005693542,0.00003074441,0.005662335,0.000004529483],"genre_scores_gemma":[0.1247174,0.00003626359,0.8742006,0.00004460873,0.0002602574,0.0003235878,0.00002904574,0.0001102428,0.0002779986],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3920676,"threshold_uncertainty_score":0.9997149,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03872014890617605,"score_gpt":0.2903097675663058,"score_spread":0.2515896186601298,"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."}}