{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006921323,0.0004900423,0.0003711582,0.002080352,0.0003599159,0.000599281,0.000775083,0.0005301751,0.003936673],"category_scores_gemma":[0.002433456,0.0001920201,0.0006627521,0.001372032,0.0004218436,0.001807098,0.0003564235,0.0004489393,0.0003193844],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007501149,"about_ca_system_score_gemma":0.0008188261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0024545,"about_ca_topic_score_gemma":0.002652142,"domain_scores_codex":[0.9997018,0.0001086476,0.00001060377,0.00003458806,0.0001165206,0.0000278135],"domain_scores_gemma":[0.9990061,0.0007232821,0.00004908089,0.0001004366,0.0001009216,0.00002025674],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001338003,0.0001206028,0.0018052,0.000274911,0.00009172964,0.00009219578,0.0001173054,0.5373422,0.007228774,0.1724328,0.001426933,0.2789336],"study_design_scores_gemma":[0.000009210924,0.0001386048,0.0009749749,0.00004506213,0.00003014569,0.00008850802,0.00004211821,0.9311705,0.00226772,0.06234555,0.002876143,0.00001144468],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03056752,0.001282978,0.9623219,0.0001098057,0.0000378758,0.00005043385,0.00008511545,0.0002591068,0.005285332],"genre_scores_gemma":[0.6733654,0.003250729,0.3181897,0.0001015109,0.00008815652,0.0001012713,0.0002442285,0.0001832506,0.00447572],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003936673,"threshold_uncertainty_score":0.01316953,"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."}}