{"id":"W2335352604","doi":"10.3166/jesa.47.423-446","title":"Formal models for conformance test of programmable logic controllers","year":2013,"lang":"fr","type":"article","venue":"Journal Européen des Systèmes Automatisés","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Agence Nationale de la Recherche","keywords":"Programmable logic controller; Computer science; Conformance testing; Test (biology); Programming language; Operating system; Standardization","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.002736482,0.0004513621,0.0008381793,0.0002941134,0.0006070972,0.001125491,0.001499485,0.000244793,0.0001214677],"category_scores_gemma":[0.001067895,0.0003973645,0.0004106614,0.0006665175,0.0005952823,0.008613328,0.000254789,0.0004780458,0.0001692776],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003089907,"about_ca_system_score_gemma":0.0004626015,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001105817,"about_ca_topic_score_gemma":0.000004475874,"domain_scores_codex":[0.9953557,0.0003983431,0.001869578,0.000390702,0.0007052461,0.001280433],"domain_scores_gemma":[0.9943954,0.0006278534,0.001986232,0.0006677249,0.001923429,0.000399309],"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.00003472116,0.0002506875,0.0001739646,0.00106524,0.0001280788,0.00001091765,0.001267957,0.011826,0.0007248212,0.2269768,0.003116471,0.7544243],"study_design_scores_gemma":[0.00160516,0.00143848,0.01126604,0.0007266546,0.00007438545,0.001114843,0.0001373644,0.8902547,0.0008578292,0.08798404,0.004156473,0.0003840735],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006923862,0.006542644,0.9748309,0.001019243,0.002470745,0.002012631,0.00004021413,0.0001816192,0.005978154],"genre_scores_gemma":[0.1954991,0.0006356564,0.7973124,0.0002105384,0.0003249309,0.0001759996,0.00000333389,0.00005450941,0.005783595],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8784286,"threshold_uncertainty_score":0.9999114,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05790080107376413,"score_gpt":0.2962219807418898,"score_spread":0.2383211796681257,"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."}}