{"id":"W4311273059","doi":"10.29007/f57w","title":"Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device","year":2022,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Benchmark (surveying); Computer science; Controller (irrigation); Simple (philosophy); Software; Embedded system; Reliability engineering; Programming language; Engineering","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.0007396054,0.001146888,0.0003941021,0.0005579556,0.0002815902,0.0008370628,0.001228223,0.001180287,0.004724347],"category_scores_gemma":[0.003329699,0.0002937896,0.000658791,0.0002239933,0.000422244,0.0006551208,0.0004566908,0.0008120783,0.0005387273],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005585116,"about_ca_system_score_gemma":0.0007592215,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003523877,"about_ca_topic_score_gemma":0.003287344,"domain_scores_codex":[0.998684,0.0003499118,0.00009958562,0.0001889812,0.0005395369,0.0001380387],"domain_scores_gemma":[0.997822,0.001217947,0.0002543044,0.0002682792,0.0003664424,0.00007096674],"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.00154964,0.0004941577,0.003798586,0.001013449,0.0001193247,0.001345085,0.0007270874,0.8574885,0.0654236,0.03122695,0.002556402,0.03425728],"study_design_scores_gemma":[0.0002849872,0.000739221,0.001373836,0.00006998346,0.00009469557,0.0003049453,0.0001097396,0.9215575,0.05612641,0.003908115,0.01539062,0.00004002923],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4439246,0.0004458794,0.5187839,0.0004603195,0.0001974236,0.0004661231,0.00250731,0.006884541,0.02632992],"genre_scores_gemma":[0.9390125,0.0001220387,0.05402378,0.00006949071,0.000009256624,0.0002617605,0.001223493,0.0002621092,0.005015495],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004724347,"threshold_uncertainty_score":0.01580453,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07123724100950812,"score_gpt":0.3458701936401092,"score_spread":0.2746329526306011,"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."}}