{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001424897,0.000122175,0.0002619104,0.0001057916,0.0002242177,0.00003663939,0.0004984554,0.00002070001,0.000007159815],"category_scores_gemma":[0.0001308459,0.0001193889,0.00004310098,0.0005261884,0.00004923559,0.0004610765,0.0004970661,0.0001397045,4.314993e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001034693,"about_ca_system_score_gemma":0.00007345559,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003258307,"about_ca_topic_score_gemma":0.000009255398,"domain_scores_codex":[0.9984316,0.0002101565,0.0004232384,0.0003397136,0.0003041744,0.0002911316],"domain_scores_gemma":[0.9988231,0.0003498123,0.0002839682,0.0004042414,0.0001073345,0.00003156583],"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.0002626311,0.00009499523,0.00135492,0.000073979,0.00003583141,0.000006674528,0.004449142,0.702554,0.0002820471,0.2698975,0.00005058367,0.02093766],"study_design_scores_gemma":[0.001509059,0.0003141313,0.0002247734,0.00002306184,0.000004825083,0.00001570885,0.0004272547,0.9751215,0.0007058911,0.0207092,0.0008042854,0.0001402891],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07701927,0.00006199288,0.9213085,0.0001599539,0.0002170779,0.0005256446,0.000003818294,0.0000650659,0.0006387208],"genre_scores_gemma":[0.5508987,4.864151e-7,0.4488371,0.0001700604,0.00002046393,0.00004516363,0.000001901862,0.000007648812,0.00001851456],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4738794,"threshold_uncertainty_score":0.4868537,"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."}}