{"id":"W2942747183","doi":"10.1109/latw.2019.8704589","title":"Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs)","year":2019,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Probabilistic logic; Fault tree analysis; Reliability engineering; Redundancy (engineering); Implementation; Scalability; Vulnerability (computing); Vulnerability assessment; Markov process; Engineering; Software engineering; Artificial intelligence; Computer security; 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.0008635116,0.0005599619,0.000382037,0.001073631,0.0002669911,0.0005112099,0.0006877276,0.0006371672,0.0008466928],"category_scores_gemma":[0.00476758,0.0003091476,0.0006796301,0.0004338599,0.0005111853,0.001026175,0.0005278924,0.0005927639,0.0001165985],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005952558,"about_ca_system_score_gemma":0.0007376696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002933514,"about_ca_topic_score_gemma":0.002758977,"domain_scores_codex":[0.9993739,0.0001814806,0.0000231734,0.00007441304,0.0002769253,0.00007019988],"domain_scores_gemma":[0.9975677,0.001785356,0.0003159662,0.000139087,0.0001554646,0.00003657624],"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.00002228834,0.00001157493,0.001165781,0.00002446661,0.00001803629,0.00003477532,0.0000197631,0.9809052,0.003189141,0.005412135,0.00007889976,0.00911804],"study_design_scores_gemma":[9.620256e-7,0.00001276376,0.0002703324,0.000003667976,0.000004030121,0.00001775326,0.000003162439,0.9952341,0.00104115,0.003328073,0.00008064231,0.000003288768],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05300144,0.0001104852,0.9458812,0.00004855235,0.000006088977,0.0000207809,0.00005814053,0.0003310501,0.0005421974],"genre_scores_gemma":[0.9187177,0.0001078687,0.08065739,0.00002263369,0.00001175305,0.00004115088,0.00009806351,0.00003921316,0.0003043847],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002933514,"threshold_uncertainty_score":0.005832851,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.033452535358615,"score_gpt":0.3193314998570797,"score_spread":0.2858789644984647,"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."}}