{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001213196,0.0004250933,0.0003241372,0.0005846845,0.0005598054,0.0006119352,0.0006289188,0.0008460355,0.001502913],"category_scores_gemma":[0.003961973,0.0002022465,0.0007380599,0.0004251346,0.0009865853,0.0007647601,0.0006263509,0.0005585787,0.00006615445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007693194,"about_ca_system_score_gemma":0.001013516,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008555442,"about_ca_topic_score_gemma":0.006748578,"domain_scores_codex":[0.9992738,0.0002761373,0.00003085843,0.00007136469,0.0002654199,0.00008243391],"domain_scores_gemma":[0.9964671,0.002695373,0.0002679946,0.0002510355,0.0002674168,0.00005105877],"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.0001099381,0.000109804,0.004531667,0.00009606466,0.00003207514,0.001533949,0.0002957056,0.9401411,0.005889834,0.0324547,0.000491188,0.01431399],"study_design_scores_gemma":[0.00002570411,0.0000606059,0.0006101048,0.00001003823,0.00001549739,0.0001963558,0.00006268887,0.9844829,0.003137143,0.01067943,0.0007105721,0.000008869999],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.574248,0.0002476803,0.4167304,0.0005692791,0.00001907253,0.000169583,0.0003424143,0.0007366513,0.006936876],"genre_scores_gemma":[0.9638337,0.00008571695,0.03517688,0.00001893045,0.000005358515,0.00005296271,0.00006373339,0.000028841,0.0007338772],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008555442,"threshold_uncertainty_score":0.01701128,"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."}}