{"id":"W2424668608","doi":"10.1109/syscon.2016.7490556","title":"Formal analysis of fault tree using probabilistic model checking: A solar array case study","year":2016,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Fault tree analysis; Computer science; Probabilistic logic; Probabilistic CTL; Markov chain; Model checking; Reliability engineering; Markov process; Markov model; Reliability (semiconductor); Markov decision process; Probabilistic analysis of algorithms; Real-time computing; Algorithm; Theoretical computer science; Power (physics); Engineering; Machine learning; Artificial intelligence; Mathematics","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.001291628,0.0001530994,0.0004582227,0.0005974834,0.0001598741,0.00009197948,0.0007376256,0.00005789349,0.00003320748],"category_scores_gemma":[0.0003720789,0.00009201995,0.0003273822,0.002463861,0.00009414251,0.0007477418,0.0003211762,0.00009069707,0.000004574157],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001000401,"about_ca_system_score_gemma":0.0001689243,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006753135,"about_ca_topic_score_gemma":0.0008018311,"domain_scores_codex":[0.9977479,0.0001576988,0.0004886332,0.0005445458,0.0006449398,0.0004162919],"domain_scores_gemma":[0.9979616,0.0003396467,0.0001167091,0.00106657,0.0003749674,0.0001404802],"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.00008825809,0.006553089,0.2255313,0.0001795867,0.007898923,0.001200988,0.0148617,0.487538,0.03216786,0.008273763,0.00002908089,0.2156775],"study_design_scores_gemma":[0.0003328164,0.0001065251,0.0005342697,0.000008150123,0.0003926814,0.00003137219,0.0003840739,0.9962776,0.001017018,0.0007673285,0.000002367156,0.000145766],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4784229,0.00000578623,0.5212567,0.00004631953,0.000007398917,0.0001323341,0.000002044887,0.00004386343,0.00008270384],"genre_scores_gemma":[0.9697269,0.000002149452,0.0300848,0.00001367539,0.000009636054,0.00001347127,4.152426e-7,0.000005754755,0.0001432487],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5087397,"threshold_uncertainty_score":0.3752465,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07025469306954886,"score_gpt":0.3360460281218575,"score_spread":0.2657913350523086,"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."}}