{"id":"W2900428710","doi":"10.1016/j.ress.2018.11.004","title":"A comparison of fault trees and the Dynamic Flowgraph Methodology for the analysis of FPGA-based safety systems part 2: Theoretical investigations","year":2018,"lang":"en","type":"article","venue":"Reliability Engineering & System Safety","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ontario Institute of Technology; Canadian Nuclear Safety Commission","funders":"","keywords":"Fault tree analysis; Design for manufacturability; Reliability engineering; Computer science; Binary decision diagram; Field-programmable gate array; Implicant; Reliability (semiconductor); Consistency (knowledge bases); Boolean function; Algorithm; Embedded system; Engineering","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.01038265,0.0002355231,0.001262462,0.0003176771,0.0002978648,0.00006369135,0.001073678,0.0001595914,0.000004953642],"category_scores_gemma":[0.004149821,0.0001355827,0.0005861507,0.002392431,0.001706732,0.00008772936,0.0001557464,0.0002365716,9.139017e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001283757,"about_ca_system_score_gemma":0.0001325166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002623871,"about_ca_topic_score_gemma":0.00007065822,"domain_scores_codex":[0.9957885,0.001368537,0.001376512,0.0005516211,0.0005545579,0.000360319],"domain_scores_gemma":[0.9768971,0.02028874,0.0003209633,0.001688389,0.0006874047,0.0001173923],"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.0002073865,0.00007939902,0.004234884,0.0008408096,0.00119785,1.606102e-7,0.00104955,0.6943967,0.0002362449,0.2960288,0.00001265279,0.001715606],"study_design_scores_gemma":[0.0005513462,0.00008919796,0.009107971,0.0001228427,0.000751265,0.000001491692,0.0002858953,0.9878976,0.000398282,0.0003548773,0.000310172,0.0001290628],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03243027,0.0006879738,0.9643182,0.001149176,0.0002572105,0.000932271,0.00008687051,0.0001161017,0.0000219808],"genre_scores_gemma":[0.9800248,0.0000294898,0.01972872,0.00001049914,0.00003788594,0.000138333,0.00001315684,0.00001175052,0.000005344741],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9475946,"threshold_uncertainty_score":0.6288525,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02878395513738852,"score_gpt":0.3185539610669402,"score_spread":0.2897700059295517,"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."}}