{"id":"W3003857160","doi":"10.1007/s00165-019-00503-1","title":"Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation","year":2020,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Smart grid; Ethernet; Reliability block diagram; Computer science; Telecommunications network; Reliability (semiconductor); Reliability engineering; Embedded system; Fault tree analysis; Transformer; Automation; Distributed computing; Computer network; Engineering; Electrical engineering; Voltage","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":[],"consensus_categories":[],"category_scores_codex":[0.001757078,0.0001234176,0.0003559839,0.0002297434,0.00007957244,0.0000371016,0.0005948538,0.00008145561,0.000003546737],"category_scores_gemma":[0.0002401024,0.0001260873,0.00008866713,0.00178691,0.00008603316,0.001008839,0.0003056212,0.0002281216,4.52024e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003698719,"about_ca_system_score_gemma":0.00004386494,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001143141,"about_ca_topic_score_gemma":0.00007915108,"domain_scores_codex":[0.9983007,0.0002684512,0.0006725523,0.0002528225,0.0002544818,0.0002510301],"domain_scores_gemma":[0.9984432,0.0003176461,0.0005181865,0.0004795685,0.0001751091,0.0000663195],"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.00009319885,0.0001020108,0.04165184,0.00018222,0.00008784267,9.812705e-7,0.006742571,0.824014,0.0003299793,0.09640153,0.00001260921,0.03038122],"study_design_scores_gemma":[0.0003003282,0.0001071484,0.1666412,0.00003193227,0.00003380181,5.278147e-7,0.0001051771,0.8309343,0.001385636,0.0003491764,0.00001755361,0.00009314569],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4115673,0.00004267595,0.587757,0.0002059671,0.00002826401,0.0001289932,0.000002113813,0.00003530907,0.0002323672],"genre_scores_gemma":[0.6952358,0.000003888369,0.3046519,0.00007099281,0.00001227336,0.000001932834,0.00001897771,0.000003999552,1.738976e-7],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.2836686,"threshold_uncertainty_score":0.5141691,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01851341709190154,"score_gpt":0.2654473833222464,"score_spread":0.2469339662303449,"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."}}