{"id":"W4392877027","doi":"10.31026/j.eng.2002.03.07","title":"PROTOCOL CONVERSION BETWEBN ADLP 80 AND IEC 870 COMMUNICATION PROTOCOL STANDARDS USING FORMAL METHODS","year":2003,"lang":"en","type":"article","venue":"Journal of Engineering","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Atomic Energy of Canada Limited","keywords":"Protocol (science); Computer science; Communications protocol; Finite-state machine; Protocol data unit; Formal methods; Function (biology); Distributed computing; Computer network; Algorithm; Software engineering","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004169798,0.0001428955,0.0002628521,0.0002311193,0.00009075652,0.000140214,0.0004590916,0.00008555469,0.000004769728],"category_scores_gemma":[0.0002334077,0.0001236709,0.00006591887,0.0002322217,0.00001839509,0.001343179,0.0001236412,0.000317959,2.203876e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000229543,"about_ca_system_score_gemma":0.0001614372,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003075375,"about_ca_topic_score_gemma":1.176925e-7,"domain_scores_codex":[0.9984632,0.0002697633,0.000563453,0.0001137897,0.0003766287,0.0002132339],"domain_scores_gemma":[0.9986439,0.000122766,0.0004280034,0.0003481308,0.0003501904,0.00010697],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0003947556,0.000572499,0.004670953,0.006854872,0.0005433621,0.0002221332,0.007658645,0.03285293,0.7285569,0.1038425,0.003276644,0.1105539],"study_design_scores_gemma":[0.003089237,0.001017131,0.000276883,0.001693585,0.00002792349,0.001417653,0.00008401911,0.3593268,0.4935333,0.001434956,0.1375037,0.0005948551],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003872181,0.00001629758,0.8917339,0.00001630727,0.00005189658,0.107537,4.231271e-7,0.00006434292,0.0001926121],"genre_scores_gemma":[0.01804806,7.499151e-7,0.9218753,0.00001167343,0.00003782209,0.06000417,5.091844e-8,0.00001637011,0.000005835012],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3264738,"threshold_uncertainty_score":0.5043151,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03620074138743369,"score_gpt":0.3815142251881272,"score_spread":0.3453134838006935,"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."}}